HomeIsabelle/Phabricator

invoke Scala compiler from Java, without external process;