debian-java-version.patch
system-jar.patch
slice-32bit.patch
