Threw away old Servlet API brought by Vaadin, so async servlets are possible now