Remove old deprecated code

checker-util/src/main/java/org/checkerframework/checker/signedness/util/SignednessUtil.java

@@ -398,15 +398,14 @@ public static String toUnsignedString(@Unsigned byte b, int radix) {
   }
 
   /**
-   * Creates a BigInteger representing the same value as unsigned long.
+   * Creates a BigInteger representing the same value as an unsigned long.
    *
    * <p>Java provides no public method with this functionality, unfortunately.
    *
    * @param l a long integer
    * @return the corresponding BigInteger
    */
   @SuppressWarnings("signedness")
-  @Deprecated(forRemoval = true, since = "4.0.0")
   private static @Unsigned BigInteger toUnsignedBigInteger(@Unsigned long l) {
     if (l >= 0L) {
       return BigInteger.valueOf(l);

checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsChecker.java

@@ -8,21 +8,12 @@
 import org.checkerframework.framework.qual.StubFiles;
 import org.checkerframework.framework.source.SourceChecker;
 import org.checkerframework.framework.source.SupportedOptions;
-import org.checkerframework.framework.source.SuppressWarningsPrefix;
 
 /**
  * The Called Methods Checker tracks the methods that have definitely been called on an object. One
  * common use case for the Called Methods Checker is to specify safe combinations of options to
  * builder or builder-like interfaces, preventing objects from being instantiated incompletely.
  */
-@SuppressWarningsPrefix({
-  // Preferred checkername.
-  "calledmethods",
-  // Deprecated checkernames, supported for backward compatibility.
-  "builder",
-  "object.construction",
-  "objectconstruction"
-})
 @SupportedOptions({
   CalledMethodsChecker.USE_VALUE_CHECKER,
   CalledMethodsChecker.COUNT_FRAMEWORK_BUILD_CALLS,

docs/CHANGELOG.md

@@ -3,12 +3,20 @@
 <!-- markdownlint-disable no-duplicate-heading -->
 <!-- pyml disable no-duplicate-heading -->
 
-## Version 4.0.1 (2026-05-01)
+## Version 4.1.0 (2026-05-01)
 
 ### User-visible changes
 
+Removed deprecated script `checker/bin-devel/build.sh`; use `./gradlew assemble`
+instead.
+
+Removed deprecated names "builder", "object.construction", and
+"objectconstruction" for the Called Methods Checker.
+
 ### Implementation details
 
+Deprecated method `SystemUtil.getJreVersion()`.
+
 ### Closed issues
 
 ## Version 4.0.0 (2026-04-07)

javacutil/src/main/java/org/checkerframework/javacutil/SystemUtil.java

@@ -151,9 +151,8 @@ public static int readCodePoint(InputStream is) {
     throw new IllegalArgumentException(); // Invalid first byte for UTF-8 character.
   }
 
-  /** The major version number of the Java runtime (JRE), such as 8, 11, or 17. */
-  @SuppressWarnings("deprecation") // remove @SuppressWarnings when getJreVersion() isn't deprecated
-  public static final int jreVersion = getJreVersion();
+  /** The major version number of the Java runtime (JRE), such as 17, 21, or 25. */
+  public static final int jreVersion = Runtime.version().feature();
 
   // Keep in sync with BCELUtil.java (in the bcel-util project).
   /**
@@ -170,7 +169,9 @@ public static int readCodePoint(InputStream is) {
    * exist on JDK 8.
    *
    * @return the major version of the Java runtime
+   * @deprecated use {@code Runtime.version().feature()}
    */
+  @Deprecated(forRemoval = true, since = "4.1.0")
   private static int getJreVersion() {
     String version = System.getProperty("java.version");