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