change errorprone profile name (#1008)

NationalSecurityAgency · Nov 7, 2024 · 97fe2d7 · 97fe2d7
1 parent c657040
commit 97fe2d7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pom.xml b/pom.xml
@@ -1457,8 +1457,8 @@
       </build>
     </profile>
     <profile>
-      <!-- on by default, but disable with '-P !errorProne' or '-DskipErrorProne' -->
-      <id>errorProne</id>
+      <!-- on by default, but disable with '-P !errorprone' or '-DskipErrorProne' -->
+      <id>errorprone</id>
       <activation>
         <jdk>[11,)</jdk>
         <property>