Jörg Prante eac22c3f50 fixes for deepsource		2022-08-09 22:30:04 +02:00
..
src/main/java	fixes for deepsource	2022-08-09 22:30:04 +02:00
build.gradle	update to Java 17, update to Gradle 7.5	2022-08-04 11:47:14 +02:00