HomeIsabelle/Phabricator

more portable: avoid Windows CRLF in classpath output;