Update ProB Java API to current 4.12.3-SNAPSHOT

And adjust bExpressionCompleter for incompatible API change.

build.gradle

@@ -33,7 +33,7 @@ configurations.all {
 dependencies {
 	implementation(group: "ch.qos.logback", name: "logback-classic", version: "1.3.7")
 	implementation(group: "com.google.guava", name: "guava", version: "31.1-jre")
-	implementation(group: "de.hhu.stups", name: "de.prob2.kernel", version: "4.12.2-SNAPSHOT")
+	implementation(group: "de.hhu.stups", name: "de.prob2.kernel", version: "4.12.3-SNAPSHOT")
 	implementation(group: "io.github.spencerpark", name: "jupyter-jvm-basekernel", version: "2.3.0")
 	implementation(group: "org.jetbrains", name: "annotations", version: "24.0.1")
 	implementation(group: "se.sawano.java", name: "alphanumeric-comparator", version: "1.4.1")

src/main/java/de/prob2/jupyter/CommandUtils.java

@@ -406,14 +406,14 @@ public final class CommandUtils {
 			}
 			
 			final CompleteIdentifierCommand cmdExact = new CompleteIdentifierCommand(prefix);
-			cmdExact.setIncludeKeywords(true);
+			cmdExact.setKeywords(CompleteIdentifierCommand.KeywordContext.ALL);
 			trace.getStateSpace().execute(cmdExact);
 			// Use LinkedHashSet to remove duplicates while maintaining order.
 			final Set<String> completions = new LinkedHashSet<>(cmdExact.getCompletions());
 			
 			final CompleteIdentifierCommand cmdIgnoreCase = new CompleteIdentifierCommand(prefix);
 			cmdIgnoreCase.setIgnoreCase(true);
-			cmdIgnoreCase.setIncludeKeywords(true);
+			cmdIgnoreCase.setKeywords(CompleteIdentifierCommand.KeywordContext.ALL);
 			trace.getStateSpace().execute(cmdIgnoreCase);
 			completions.addAll(cmdIgnoreCase.getCompletions());