Specifying JDK