From: Markus Koschany <apo@debian.org>
Date: Sat, 27 Aug 2022 22:19:06 +0200
Subject: java17

Fix FTBFS with Java 17.

Bug-Debian: https://bugs.debian.org/1012064
Forwarded: https://github.com/sweble/osr-common/issues/10
---
 utils-parent/utils/src/main/java/de/fau/cs/osr/utils/XmlGrammar.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils-parent/utils/src/main/java/de/fau/cs/osr/utils/XmlGrammar.java b/utils-parent/utils/src/main/java/de/fau/cs/osr/utils/XmlGrammar.java
index 1277c6b..96680e3 100644
--- a/utils-parent/utils/src/main/java/de/fau/cs/osr/utils/XmlGrammar.java
+++ b/utils-parent/utils/src/main/java/de/fau/cs/osr/utils/XmlGrammar.java
@@ -38,7 +38,7 @@ public class XmlGrammar
 					"|[\\u3001-\\uD7FF]" +
 					"|[\\uF900-\\uFDCF]" +
 					"|[\\uFDF0-\\uFFFD]" +
-					"|[\uD800\\uDC00-\uDB7F\uDFFF]" + // #x10000-#xEFFFF
+					"|[\\uD800\\uDC00-\\uDB7F\\uDFFF]" + // #x10000-#xEFFFF
 					")";
 
 	public final static String RE_XML_NAME_CHAR =
