modified to use Java set in JAVA_HOME