Re: Questions on JDK naming