recovered isabelle java, which was broken in ebfa4bb0d50f;
recovered isabelle java, which was broken in ebfa4bb0d50f;

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