HomeIsabelle/Phabricator

more robust: avoid duplicate classpath entries;