fixes #2938 removed old servlet