HomeIsabelle/Phabricator

less aggressive auto-build: avoid change of running jar;