From 860d15ec84f26f4a6d12b13b41f88fef51b851fa Mon Sep 17 00:00:00 2001
From: Werner Dietl <wdietl@gmail.com>
Date: Tue, 2 Jan 2024 10:02:40 -0500
Subject: [PATCH] new release 3.42.0-eisop1

---
 annotation-file-utilities/annotation-file-utilities.html      | 4 ++--
 .../afu/scenelib/io/classfile/ClassFileReader.java            | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/annotation-file-utilities/annotation-file-utilities.html b/annotation-file-utilities/annotation-file-utilities.html
index 563d1373..3f215146 100644
--- a/annotation-file-utilities/annotation-file-utilities.html
+++ b/annotation-file-utilities/annotation-file-utilities.html
@@ -139,14 +139,14 @@ <h2 id="installation">Installation</h2>
 
 <p>
 The current release is Annotation File Utilities version
-<!-- afu-version -->3.42.0, 15 Dec 2023<!-- /afu-version -->.
+<!-- afu-version -->3.42.0-eisop1, 02 Jan 2024<!-- /afu-version -->.
 </p>
 
 <ol>
 <!-- TODO: The release scripts only update the text of the link, not the href URL! -->
 <li>
   Download
-  <a href="annotation-tools-3.23.0.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.42.0.zip<!-- /annotation-tools-zip-version --></a>.
+  <a href="annotation-tools-3.23.0.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.42.0-eisop1.zip<!-- /annotation-tools-zip-version --></a>.
 </li>
 
 <li>
diff --git a/annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassFileReader.java b/annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassFileReader.java
index 87adb79a..3d502f7c 100644
--- a/annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassFileReader.java
+++ b/annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassFileReader.java
@@ -22,7 +22,7 @@ private ClassFileReader() {
   }
 
   /** The AFU version string. Automatically updated by the release process. */
-  public static final String INDEX_UTILS_VERSION = "Annotation File Utilities v3.41.0-eisop1";
+  public static final String INDEX_UTILS_VERSION = "Annotation File Utilities v3.42.0-eisop1";
 
   /** The {@code ignore_bridge_methods} option. */
   @Option("-b omit annotations from bridge (compiler-created) methods")