Downgrading config to servlet 2.5 to enable deployment on Tomcat 6