Steinar Bang d1cd8f9ccc Replace java 11 with java 17 in github actions CI build 9 mesiacov pred
..
workflows d1cd8f9ccc Replace java 11 with java 17 in github actions CI build 9 mesiacov pred