added: different default tomcat versions for different operatingsystem releases