diff --git a/commons-text-commit.txt b/commons-text-commit.txt
new file mode 100644
index 0000000..edcd3f6
--- /dev/null
+++ b/commons-text-commit.txt
@@ -0,0 +1 @@
+78fac0f157f74feb804140613e4ffec449070990
diff --git a/docker-start.sh b/docker-start.sh
deleted file mode 100755
index bb4fa55..0000000
--- a/docker-start.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/bash
-
-SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
-
-mkdir -pv "${SCRIPT_DIR}/.m2"
-
-docker run --rm -it \
- -v "${SCRIPT_DIR}:/tools/home" \
- -v "${SCRIPT_DIR}/.m2:/root/.m2" \
- bugcounting/satools:y23
-
diff --git a/sources/pom.xml b/sources/pom.xml
index e39603b..62d02f8 100644
--- a/sources/pom.xml
+++ b/sources/pom.xml
@@ -133,6 +133,11 @@
${jmh.version}
test
+
+ org.checkerframework
+ checker-qual
+ 3.33.0
+
@@ -428,6 +433,62 @@
+
+ checkerframework
+
+ [1.8,)
+
+
+
+
+ maven-compiler-plugin
+ 3.10.1
+
+ true
+
+ 10000
+ 10000
+
+
+
+ org.checkerframework
+ checker
+ 3.33.0
+
+
+
+
+ org.checkerframework.checker.index.IndexChecker
+
+
+ -Awarns
+ -J--add-exports=jdk.compiler/com.sun.tools.javac.api=ALL-UNNAMED
+ -J--add-exports=jdk.compiler/com.sun.tools.javac.code=ALL-UNNAMED
+ -J--add-exports=jdk.compiler/com.sun.tools.javac.file=ALL-UNNAMED
+ -J--add-exports=jdk.compiler/com.sun.tools.javac.main=ALL-UNNAMED
+ -J--add-exports=jdk.compiler/com.sun.tools.javac.model=ALL-UNNAMED
+ -J--add-exports=jdk.compiler/com.sun.tools.javac.processing=ALL-UNNAMED
+ -J--add-exports=jdk.compiler/com.sun.tools.javac.tree=ALL-UNNAMED
+ -J--add-exports=jdk.compiler/com.sun.tools.javac.util=ALL-UNNAMED
+ -J--add-opens=jdk.compiler/com.sun.tools.javac.comp=ALL-UNNAMED
+
+
+
+
+ default-compile
+
+
+
+
+
+
+
+ org.checkerframework
+ checker
+ 3.33.0
+
+
+
setup-checkout