Patch for debian_make_ubunut_java_chroot on master