Update JDK to 21 (SeaOfNodes#26)

* Backport fix for set_def killing new_def (SeaOfNodes#21)

* Use JDK 21

* Remove duplicate field in pom

* Enable GA test for pull requests

---------

Co-authored-by: XmiliaH <[email protected]>

.github/workflows/maven.yml

@@ -1,6 +1,6 @@
 name: Java CI with Maven
 
-on: [push]
+on: [ push, pull_request ]
 
 jobs:
  test:
@@ -9,10 +9,11 @@ jobs:
 
  steps:
  - uses: actions/checkout@v3
- - name: Set up JDK 20
+ - name: Set up JDK 21
  uses: actions/setup-java@v3
  with:
- java-version: '20'
+ java-version: '21'
  distribution: 'temurin'
+ cache: 'maven'
  - name: Build with Maven
  run: mvn --batch-mode --update-snapshots verify

language/pom.xml

@@ -11,11 +11,10 @@
  <name>SeaOfNodes Demo Simple Language Grammar</name>
  <properties>
  <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
- <maven.compiler.target>20</maven.compiler.target>
- <maven.compiler.source>20</maven.compiler.source>
+ <maven.compiler.target>21</maven.compiler.target>
+ <maven.compiler.source>21</maven.compiler.source>
  <antlr4test-maven-plugin.version>1.22</antlr4test-maven-plugin.version>
  <antlr.version>4.11.1</antlr.version>
- <antlr4test-maven-plugin.version>1.21</antlr4test-maven-plugin.version>
  <junit.version>4.13.2</junit.version>
  </properties>
  <dependencies>

pom.xml

@@ -46,16 +46,12 @@
  <groupId>org.apache.maven.plugins</groupId>
  <artifactId>maven-surefire-plugin</artifactId>
  <version>3.1.2</version>
- <configuration>
- <argLine>--enable-preview</argLine>
- </configuration>
  </plugin>
  <plugin>
  <artifactId>maven-compiler-plugin</artifactId>
  <version>3.10.1</version>
  <configuration>
- <release>20</release>
- <compilerArgs>--enable-preview</compilerArgs>
+ <release>21</release>
  </configuration>
  </plugin>
  </plugins>