disable-java.patch
