option for choosing tomcat jdk