From b81b2133b071dbf47f47bf221f9edcaa5e2f2210 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Sun, 19 Oct 2025 17:04:11 -0700
Subject: [PATCH] Remove workaround

---
 build.gradle | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/build.gradle b/build.gradle
index a0fc6c4a..13cc6afd 100644
--- a/build.gradle
+++ b/build.gradle
@@ -67,9 +67,7 @@ spotless {
   }
   java {
     targetExclude("**/WeakIdentityHashMap.java")
-    // googleJavaFormat()
-    // Version number required for Java 25.
-    googleJavaFormat("1.28.0")
+    googleJavaFormat()
     formatAnnotations()
   }
   groovyGradle {