Added github action to test maven

Author: alcides

.github/workflows/maven.yml

@@ -0,0 +1,35 @@
+# This workflow will build a Java project with Maven, and cache/restore any dependencies to improve the workflow execution time
+# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-java-with-maven
+
+# This workflow uses actions that are not certified by GitHub.
+# They are provided by a third-party and are governed by
+# separate terms of service, privacy policy, and support
+# documentation.
+
+name: Java CI with Maven
+
+on:
+  push:
+    branches: [ "master" ]
+  pull_request:
+    branches: [ "master" ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v3
+    - name: Set up JDK 17
+      uses: actions/setup-java@v3
+      with:
+        java-version: '17'
+        distribution: 'temurin'
+        cache: maven
+    - name: Build with Maven
+      run: mvn -B clean test --file pom.xml
+
+    # Optional: Uploads the full dependency graph to GitHub to improve the quality of Dependabot alerts this repository can receive
+    - name: Update dependency graph
+      uses: advanced-security/maven-dependency-submission-action@571e99aab1055c2e71a1e2309b9691de18d6b7d6

liquidjava-verifier/src/main/java/liquidjava/api/tests/TestAbstract.java

@@ -2,7 +2,6 @@
 
 import static org.junit.Assert.fail;
 
-import java.security.Permission;
 import liquidjava.api.CommandLineLauncher;
 import liquidjava.errors.ErrorEmitter;
 

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/OperationsChecker.java

@@ -119,7 +119,6 @@ public <T> void getUnaryOpRefinements(CtUnaryOperator<T> operator) throws Parsin
             try {
                 CtAssignment<?, ?> assign = operator.getParent(CtAssignment.class);
                 if (assign != null && assign.getAssigned() instanceof CtVariableWrite<?>) {
-                    @SuppressWarnings("unchecked")
                     CtVariableWrite<T> w = (CtVariableWrite<T>) assign.getAssigned();
                     String parentName = w.getVariable().getSimpleName();
                     if (name.equals(parentName)) {