recognize MacOS on modern Java implementations, notably OpenJDK 1.7;
recognize MacOS on modern Java implementations, notably OpenJDK 1.7;

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