It looks like the code in
utils-parent/utils/src/main/java/de/fau/cs/osr/utils/XmlGrammar.java
line 41
fails with Java 17 because not all unicode slashes are escaped. If I change the code from
"|[\uD800\\uDC00-\uDB7F\uDFFF]" + // #x10000-#xEFFFF
to
"|[\\uD800\\uDC00-\\uDB7F\\uDFFF]" + // #x10000-#xEFFFF
it works for me
It looks like the code in
utils-parent/utils/src/main/java/de/fau/cs/osr/utils/XmlGrammar.java
line 41
fails with Java 17 because not all unicode slashes are escaped. If I change the code from
it works for me