Summary
- avoid static access to sun.tools.jconsole: more robust compilation (notably with scala3), but less robust invocation;
- more operations; tuned message: Class.toString already says "class ...";
- clarified signature;
The file was modified | Admin/Release/CHECKLIST (diff) |
The file was modified | src/Pure/Tools/java_monitor.scala (diff) |
The file was modified | src/Pure/General/untyped.scala (diff) |
The file was modified | src/Pure/General/untyped.scala (diff) |