JSTL working with Jetty and Tomcat, dynamic port allocation