Simplest workaround for https://bugs.openjdk.org/browse/JDK-8323657

niloc132 · Jan 13, 2024 · c69c5ce · c69c5ce
1 parent b83f1da
commit c69c5ce
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/user/build.xml b/user/build.xml
@@ -2,7 +2,11 @@
   <property name="gwt.root" location=".."/>
   <property name="project.tail" value="user"/>
   <property name="test.args" value="-ea -sourceLevel auto"/>
-  <property name="test.jvmargs" value="-ea"/>
+  <!--
+  Adding "-noverify" is a workaround for https://bugs.openjdk.org/browse/JDK-8323657
+  so that tests can be compiled under Java9+.
+  -->
+  <property name="test.jvmargs" value="-ea -noverify"/>
 
   <!-- support old variables names -->
   <condition property="gwt.hosts.web.selenium" value="${gwt.selenium.hosts}">