HomeIsabelle/Phabricator

obsolete, thanks to zulu-jdk directory layout;