Jörg Prante 0e72380ee1 fix code quality as reported by Github CodeQL		2022-10-16 17:21:38 +02:00
..
src	fix code quality as reported by Github CodeQL	2022-10-16 17:21:38 +02:00
build.gradle	update to Java 17, update to Gradle 7.5	2022-08-04 11:47:14 +02:00