File jflex-1.9.1-no-auto-value.patch of Package jflex

diff -urEbwB jflex-1.9.1.orig/src/main/java/jflex/base/IntPair.java jflex-1.9.1/src/main/java/jflex/base/IntPair.java
--- jflex-1.9.1.orig/jflex/src/main/java/jflex/base/IntPair.java	2024-10-15 11:01:17.724854292 +0200
+++ jflex-1.9.1/jflex/src/main/java/jflex/base/IntPair.java	2024-10-15 11:02:56.115127297 +0200
@@ -5,8 +5,6 @@
 
 package jflex.base;
 
-import com.google.auto.value.AutoValue;
-
 /**
  * Simple pair of integers.
  *
@@ -15,7 +13,6 @@
  * @author Gerwin Klein
  * @version JFlex 1.9.1
  */
-@AutoValue
 public abstract class IntPair {
 
   public abstract int start();