use_debian_packaged_jars.patch
java7-compat.patch
