Tell Jetty about the JDK

Addresses #564