static String java_home() {
        String jh = System.getProperty("jh");
        if (jh != null) {
            return jh;
        }
        jh = System.getenv("JAVA_HOME");
        if (jh != null) {
            return jh;
        }
        return System.getProperty("java.home");
    }