restore servlets