Add JVM settings to tomcat setenv.sh