diff --git a/annotation-file-utilities/annotation-file-utilities.html b/annotation-file-utilities/annotation-file-utilities.html
index 56efdd78..8b58d791 100644
--- a/annotation-file-utilities/annotation-file-utilities.html
+++ b/annotation-file-utilities/annotation-file-utilities.html
@@ -139,14 +139,14 @@
Installation
The current release is Annotation File Utilities version
-3.42.0-eisop4, 12 Jul 2024.
+3.42.0-eisop5, 20 Dec 2024.
-
Download
- annotation-tools-3.42.0-eisop4.zip.
+ annotation-tools-3.42.0-eisop5.zip.
-
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 aa49cee1..ef67ab4e 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.42.0-eisop4";
+ public static final String INDEX_UTILS_VERSION = "Annotation File Utilities v3.42.0-eisop5";
/** The {@code ignore_bridge_methods} option. */
@Option("-b omit annotations from bridge (compiler-created) methods")