Changed back to java.servlet-api 3.0.1