more operations;

obsolete (see also d547173212d2);

clarified names to emphasize suble differences in meaning;

prefer high-level Other_Isabelle.bash over low-level SSH.execute;

unused (see 378bb7a739c3);

more options to manage resolved components;

proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394);

tuned comments;

tuned;

clarified signature: more explicit types; scale chart output, instead of stored data;

more operations;

tuned;

clarified signature: more robust field_scale;

clarified signature: more explicit types;

clarified signature;

tuned;

support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;

more explicit types;

prefer typed/strict operations;

tuned message;

prefer strict operation: java.io.File.length returns 0 for non-existent file;

prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition;

back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()"); enforce rebuild of Isabelle/ML + Isabelle/Scala;

Restored antiquotation.