proper -X option; relative result, do not insist in "$THIS/Isabelle.app";
proper -X option;
relative result, do not insist in "$THIS/Isabelle.app";

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