String () { String home = SystemProperties.getJavaHome(); // should point either to jre or jdk if (!JdkUtil.checkForJdk(home)) { String parent = new File(home).getParent(); if (parent != null && JdkUtil.checkForJdk(parent)) { home = parent; } } return FileUtilRt.toSystemIndependentName(home); }