HomeIsabelle/Phabricator

back to more modest (but uniform) Java stack, see 97fc4f657bda;