Development: Use Java 17 for Github action server tests
Development: Use Java 17 for Github action server tests

ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS