debian-system-jars.patch
debian-system-docbook.patch
#disable-jsmol.patch
#dont-skip-if-no-privkey.patch
#dont-sign-jspecview.patch
java9-compatibility.patch
no-private-property-file.patch
dont-use-JSpecView.patch
omit_applet_parts.patch
building_javadoc.patch
addAll_return_type.patch
