diff --git a/tck/src/main/java/io/a2a/tck/server/AgentExecutorProducer.java b/tck/src/main/java/io/a2a/tck/server/AgentExecutorProducer.java
index 859790bcb..5c085f981 100644
--- a/tck/src/main/java/io/a2a/tck/server/AgentExecutorProducer.java
+++ b/tck/src/main/java/io/a2a/tck/server/AgentExecutorProducer.java
@@ -11,7 +11,6 @@
 import io.a2a.spec.JSONRPCError;
 import io.a2a.spec.Task;
 import io.a2a.spec.TaskNotCancelableError;
-import io.a2a.spec.TaskNotFoundError;
 import io.a2a.spec.TaskState;
 import io.a2a.spec.TaskStatus;
 import io.a2a.spec.TaskStatusUpdateEvent;
diff --git a/tck/src/main/java/io/a2a/tck/server/package-info.java b/tck/src/main/java/io/a2a/tck/server/package-info.java
new file mode 100644
index 000000000..f2b9319f2
--- /dev/null
+++ b/tck/src/main/java/io/a2a/tck/server/package-info.java
@@ -0,0 +1,10 @@
+@NullMarked
+package io.a2a.tck.server;
+
+import org.jspecify.annotations.NullMarked;
+
+//The following had @Nullable annotation applied from JSpecify
+//AgentCardProducer.java getEnvOrDefault method, 
+//AgentExecutorProducer.java execute method
+//
+