Fix JAVA_HOME on Debian