Tomcat distribution for OSv