fixes #2937 removed old servlets