1.3.x fixjstl

Fixes to JSTL imports and JSPs in order to make the GUI work correctly both on Jetty (embedded and standalone) and Tomcat.