tomcat 7 / servlet 3.0 issue