A vanilla Tomcat 7 server running under OpenJDK 7.