HomeIsabelle/Phabricator

more systematic java_library: avoid empty entries, declaration order as for…