Java Doc and JDK