improved servlet-api.jar handling