Basic support for running a local server under Tomcat