Steinar Bang 0d8ec035f6 Replace java 11 with java 17 in github actions CI build vor 1 Jahr
..
workflows 0d8ec035f6 Replace java 11 with java 17 in github actions CI build vor 1 Jahr