find a usable tomcat version