Make Tomcat Default J2EE server