Fixed the build failure with Java 17 (Closes: #1011172)

debian/changelog

+segment (1.4.2-2) UNRELEASED; urgency=medium
+
+  * Team upload.
+  * Fixed the build failure with Java 17 (Closes: #1011172)
+
+ -- Emmanuel Bourg <ebourg@apache.org>  Sun, 05 Feb 2023 23:53:03 +0100
+
 segment (1.4.2-1) unstable; urgency=medium
 
   * Team upload.

debian/patches/02-java17-compatibility.patch

+Description: Fixes the build failure with Java 17
+Author: Emmanuel Bourg <ebourg@apache.org>
+Forwarded: no
+--- a/src/main/java/net/sourceforge/segment/srx/legacy/Buffer.java
++++ b/src/main/java/net/sourceforge/segment/srx/legacy/Buffer.java
+@@ -96,7 +96,7 @@
+ 		return stringBuilder.toString();
+ 	}
+ 
+-	private boolean isEmpty() {
++	public boolean isEmpty() {
+ 		return length() == 0;
+ 	}
+ 

debian/patches/series

 01-jaxb-plugin.patch
+02-java17-compatibility.patch