instructions for setting $JDK_HOME