updated to JDT 3.41

Author: anquetil

.run/Run All Tests.run.xml

@@ -1,13 +1,14 @@
 <component name="ProjectRunConfigurationManager">
   <configuration default="false" name="Run All Tests" type="JUnit" factoryName="JUnit">
-    <module name="VerveineJ" />
-    <useClassPathOnly />
+    <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="true" />
+    <option name="ALTERNATIVE_JRE_PATH" value="/usr/lib/jvm/jdk-17" />
     <option name="MAIN_CLASS_NAME" value="" />
     <option name="METHOD_NAME" value="" />
     <option name="TEST_OBJECT" value="directory" />
     <option name="VM_PARAMETERS" />
     <option name="PARAMETERS" value="" />
-    <dir value="$PROJECT_DIR$/tests" />
+    <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
+    <dir value="$PROJECT_DIR$/app/src/test" />
     <fork_mode value="method" />
     <method v="2">
       <option name="Make" enabled="true" />

app/build.gradle.kts

@@ -35,8 +35,8 @@ dependencies {
 
     // This dependency is used by the application.
     implementation("org.moosetechnology:fame-java:v1.0.5")
-    implementation("org.eclipse.jdt:org.eclipse.jdt.core:3.13.50")
-    implementation("commons-codec:commons-codec:1.7")
+    implementation("org.eclipse.jdt:org.eclipse.jdt.core:3.41.0")
+    implementation("commons-codec:commons-codec:1.13")
 
     implementation(fileTree("lib") { include("*.jar") })
 }
@@ -54,18 +54,19 @@ application {
 }
 
 
-
 tasks.test {
     finalizedBy(tasks.jacocoTestReport) // report is always generated after tests run
 }
 
+
 tasks.jacocoTestReport {
     dependsOn(tasks.test)
     reports {
         xml.required = true
     }
 }
 
+
 tasks.named<com.github.jengelman.gradle.plugins.shadow.tasks.ShadowJar>("shadowJar") {
     archiveBaseName.set("VerveineJ")
     archiveClassifier.set(System.getenv("VERSION") ?: "Snapshot")

app/src/main/java/fr/inria/verveine/extractor/java/utils/StubBinding.java

@@ -185,6 +185,9 @@ public boolean isEqualTo(IBinding that) {
 
     // ITypeBinding methods
 
+    @Override
+    public boolean isRecord() { return false; }
+
     @Override
     public IPackageBinding getPackage() {
         return null;
@@ -443,6 +446,28 @@ public ITypeBinding[] getInterfaces() {
 
     // IMethodBinding methods
 
+    @Override
+    public String[] getParameterNames() {
+        return new String[0];
+    }
+
+    @Override
+    public boolean isSyntheticRecordMethod() { return false; }
+
+
+    @Override
+    public IVariableBinding[] getSyntheticOuterLocals() {
+        return new IVariableBinding[0];
+    }
+
+    @Override
+    public boolean    isCanonicalConstructor() {
+        return false;
+    }
+
+    @Override
+    public boolean    isCompactConstructor() { return false;}
+
     @Override
     public boolean isConstructor() {
         return false;