I would install a specific JDK that you want, along with the javadoc package for it, and use that as your default JVM.