HomeIsabelle/Phabricator

avoid static access to sun.tools.jconsole: more robust compilation (notably…

Description

avoid static access to sun.tools.jconsole: more robust compilation (notably with scala3), but less robust invocation;

Details

Provenance
makariusAuthored on
Parents
rISABELLE5640c4db7d37: more operations;
Branches
Unknown
Tags
Unknown