Allows the JDK to be chosen in services.tomcat