HomeIsabelle/Phabricator

clarified javac options;