Merge branch 'java_migration' of https://gitlab.lrz.de/vadere/vadere into java_migration

8 jobs for java_migration in 36 seconds (queued for 1 second)