`Development`: Modernize Java server code#10221

Open

krusche wants to merge 16 commits intodevelopfrom chore/modernize-server-code

+218-237

Commits on Jan 27, 2025

Commits on Jan 28, 2025

Commits on Jan 31, 2025

Reapply "domain file extends java.io.file again for now. Otherwise we encounter weird class cast exceptions"
tobias-lippert
committed
use java.nio.file api in saveSubmissionToFile
tobias-lippert
committed

Commits on Feb 3, 2025

Commits on Feb 6, 2025

Merge branch 'develop' into chore/modernize-server-code
tobias-lippert
authored

Commits on Feb 9, 2025