adhoc update of JVM environment variables, which is relevant for cold start of jEdit;
adhoc update of JVM environment variables, which is relevant for cold start of jEdit;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle