Set source level to 1.8.

The latest JVMs don't support 1.7 any longer, and surely we don't need to claim 1.7 source level for GWT any more.
2023-07-19 13:12:38 -07:00
parent a100ab5ca7
commit 5b0fa29a74
1 changed files with 1 additions and 1 deletions
@@ -48,7 +48,7 @@
  -->

  <properties>
-    <source.level>1.7</source.level>
+    <source.level>1.8</source.level>
    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
    <gwt.version>2.8.2</gwt.version>
    <gwt.maven.version>2.8.2</gwt.maven.version>