Harald Kuhr aca8b1256a Minor servlet clean-up.
(cherry picked from commit c28963ae4904ccee61c8aa849b548a2191a0dada)
2021-12-10 16:56:51 +01:00
..
2021-12-10 16:56:51 +01:00