Use the linux JDK for the build, which hopefully fixes the
build on bento. Add required patches to support this change.
If WITH_BSD_JDK is set, the original native JDK is used.
Add RES_GER to the supported languages. Apparently this is
now needed by the build system, else the handbook is still
missing.