tomcat server diff