Specifying the JDK by hand.