HomeIsabelle/Phabricator

more generous Java memory, also hoping to prevent spurious java.lang.