updated to Spring 4.0 and therefore to Servlet 3.0