HomeIsabelle/Phabricator

proper classpath for Scala compiler invocation (amending 14e22b525b13);