debian-system-jars.patch
debian-system-docbook.patch
disable-jsmol.patch
dont-skip-if-no-privkey.patch
dont-sign-jspecview.patch
