Various fixes to the old server to be able to get zabin's puzzle to run (partially).
[duskz] / TODO
2023-02-27 Not ZedConvert to modular Java.