HomeIsabelle/Phabricator

redundant: *.class and *.jar are already ignored;