reduced servlet-api version