Update to JDK 25

Author: raharrison

.github/workflows/build.yml

@@ -13,10 +13,10 @@ jobs:
 
     steps:
       - uses: actions/checkout@v4
-      - name: Set up JDK 21
+      - name: Set up JDK 25
         uses: actions/setup-java@v4
         with:
-          java-version: '21'
+          java-version: '25'
           distribution: 'temurin'
       - name: Setup Gradle
         uses: gradle/actions/setup-gradle@v4

README.md

@@ -10,15 +10,14 @@ This project aims to showcase how to integrate and configure these tools in a Ja
 ```bash
 git clone https://github.com/raharrison/java-jspecify-example.git
 cd java-jspecify-example
-./gradlew build
+./gradlew build # by default will pass, directly use nullable object to fail
 ```
 
 ### Notes
 
-- The `UserRepo` class is annotated using `JSpecify`
+- The `UserRepo` class is annotated using `JSpecify` annotations
 - By default, the build is set up to fail if any `NullAway` error is reported
 - Uncomment the line in `Main` to use a nullable object without a check beforehand. This will fail the build
 - `NullAway` will not run on test code
 - `NullAway` is configured to check all files in the specified project package. You can alternatively check only `NullMarked` code
-  by annotating each class
-  or through an annotated `package-info.java` file
+  by annotating each class or through an annotated `package-info.java` file

build.gradle.kts

@@ -3,7 +3,7 @@ import net.ltgt.gradle.errorprone.errorprone
 plugins {
     application
     id("java")
-    id("com.gradleup.shadow") version "8.3.6"
+    id("com.gradleup.shadow") version "9.2.2"
     id("net.ltgt.errorprone") version "4.3.0"
 }
 
@@ -15,12 +15,13 @@ repositories {
 }
 
 dependencies {
-    testImplementation(platform("org.junit:junit-bom:5.11.4"))
+    testImplementation(platform("org.junit:junit-bom:6.0.0"))
     testImplementation("org.junit.jupiter:junit-jupiter")
+    testRuntimeOnly("org.junit.platform:junit-platform-launcher")
 
     implementation("org.jspecify:jspecify:1.0.0")
-    errorprone("com.google.errorprone:error_prone_core:2.40.0")
-    errorprone("com.uber.nullaway:nullaway:0.12.7")
+    errorprone("com.google.errorprone:error_prone_core:2.43.0")
+    errorprone("com.uber.nullaway:nullaway:0.12.11")
 }
 
 tasks.test {
@@ -29,7 +30,7 @@ tasks.test {
 
 java {
     toolchain {
-        languageVersion = JavaLanguageVersion.of(21)
+        languageVersion = JavaLanguageVersion.of(25)
     }
 }
 

gradle/wrapper/gradle-wrapper.properties

@@ -1,5 +1,5 @@
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-8.13-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-9.2.0-bin.zip
 zipStoreBase=GRADLE_USER_HOME
 zipStorePath=wrapper/dists

src/main/java/com/example/myapp/Main.java

@@ -2,11 +2,12 @@
 
 public class Main {
 
-    public static void main(String[] args) {
+    static void main() {
         var repo = new UserRepo();
 
         User user = repo.getUserById("1");
-//         System.out.println(user.username()); // possible NPE!
+//        System.out.println(user.username()); // possible NPE!
+
         if (user != null) {
             System.out.println("Found user: " + user.username());
         } else {