Questions on JDK naming