Skip to content
Success

Changes

Summary

  1. avoid static access to sun.tools.jconsole: more robust compilation (notably with scala3), but less robust invocation;
  2. more operations; tuned message: Class.toString already says "class ...";
  3. clarified signature;
Changeset 75410:832f764093e1 by wenzelm:
avoid static access to sun.tools.jconsole: more robust compilation (notably with scala3), but less robust invocation;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified src/Pure/Tools/java_monitor.scala (diff)
Changeset 75409:5640c4db7d37 by wenzelm:
more operations;<br>tuned message: Class.toString already says &quot;class ...&quot;;
The file was modified src/Pure/General/untyped.scala (diff)
Changeset 75408:e859c9f30db2 by wenzelm:
clarified signature;
The file was modified src/Pure/General/untyped.scala (diff)