obsolete servlet-api dependency removed