diff --git a/keyext.api.client/build.gradle.kts b/keyext.api.client/build.gradle.kts
index c5534d040f..36f5ee2729 100644
--- a/keyext.api.client/build.gradle.kts
+++ b/keyext.api.client/build.gradle.kts
@@ -19,6 +19,8 @@ dependencies {
 
     testCompileOnly("org.projectlombok:lombok:1.18.46")
     testAnnotationProcessor("org.projectlombok:lombok:1.18.46")
+    testImplementation("org.junit.jupiter:junit-jupiter:6.0.1")
+    testRuntimeOnly("org.junit.platform:junit-platform-launcher")
 }
 
 tasks.named<Test>("test") {
diff --git a/keyext.api.client/src/test/java/edu/kit/keyext/client/RPCLayerTest.java b/keyext.api.client/src/test/java/edu/kit/keyext/client/RPCLayerTest.java
index 6bcc0cd5f1..76fb5f4898 100644
--- a/keyext.api.client/src/test/java/edu/kit/keyext/client/RPCLayerTest.java
+++ b/keyext.api.client/src/test/java/edu/kit/keyext/client/RPCLayerTest.java
@@ -8,7 +8,7 @@
 import java.io.StringWriter;
 import java.util.concurrent.ArrayBlockingQueue;
 
-import edu.kit.iti.formal.keyextclientjava.rpc.JsonRPC;
+import org.key_project.key.api.client.JsonRPC;
 import org.key_project.key.api.client.RPCLayer;
 import org.junit.jupiter.api.Assertions;
 import org.junit.jupiter.api.Test;
@@ -43,15 +43,4 @@ void testIncoming() throws IOException {
         String second = listener.readMessage();
         Assertions.assertEquals(response, second);
     }
-
-
-
-    @Test
-    void testLockingAndReleasing() throws IOException, InterruptedException {
-        var response = JsonRPC.addHeader(JsonRPC.createResponse("0", 2));
-        var layer = new RPCLayer(new StringReader(response), new StringWriter());
-        layer.start(); // starts the thread.
-        var result = layer.callSync("calc", 1, 1);
-        System.out.println(result);
-    }
 }
diff --git a/keyext.api.client/src/test/java/edu/kit/keyext/client/Starter.java b/keyext.api.client/src/test/java/edu/kit/keyext/client/Starter.java
index e2997fe347..f4a5d88609 100644
--- a/keyext.api.client/src/test/java/edu/kit/keyext/client/Starter.java
+++ b/keyext.api.client/src/test/java/edu/kit/keyext/client/Starter.java
@@ -7,19 +7,26 @@
 
 import org.key_project.key.api.client.BaseRemote;
 import org.key_project.key.api.client.RPCLayer;
+import org.junit.jupiter.api.Disabled;
 import org.junit.jupiter.api.Test;
 
 /**
+ * Manual integration demo: spawns a built KeY server jar and performs one call.
+ * Disabled in CI because it needs a freshly built {@code keyext.api} all-in-one
+ * jar on disk.
+ *
  * @author Alexander Weigl
  * @version 1 (24.11.24)
  */
 public class Starter {
     @Test
+    @Disabled("manual integration demo; requires a built keyext.api server jar")
     void test() throws IOException {
         var file = "../keyext.api/build/libs/keyext.api-2.12.4-dev-all.jar";
         final var rpcLayer = RPCLayer.startWithCLI(file);
         rpcLayer.start();
         var remote = new BaseRemote(rpcLayer);
-        System.out.println(remote.meta_version());
+        String version = remote._call_sync(String.class, "meta/version");
+        System.out.println(version);
     }
 }