fix servlet.jar