Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Bug: new Java problem is not loadable after a java problem already has been loaded
branch: luong_mastermerge Revision number: a552cb5d