Replace the lib of servlet-api.