Harald Kuhr 7860bf7e17 XXX: Remove old servlet class.
(cherry picked from commit 2f9768a1d4ad117ef8892cbf10ed57be65ddb953)
2021-12-10 16:50:49 +01:00
..
2021-12-10 16:50:49 +01:00