consistent use of JDK directory (and tools.jar)