fewer workarounds for MacOS to increase chances that COMMAND ("META") key works with Java 1.7 from Oracle;
fewer workarounds for MacOS to increase chances that COMMAND ("META") key works with Java 1.7 from Oracle;

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