A Docker container for Tomcat7