Re: How to determine $JDK_HOME ?