@@ -0,0 +1,373 @@
+package nonnull;%0A%0Aimport java.util.concurrent.AbstractExecutorService;%0Aimport java.util.concurrent.ExecutorService;%0Aimport java.util.concurrent.Future;%0A%0Apublic class CheckJDKAnnotations %7B%0A%09%0A%09Future falsePositive(ExecutorService e, Runnable r) %7B%0A%09%09return e.submit(r, null);%0A%09%7D%0A%09Future falsePositive(AbstractExecutorService e, Runnable r) %7B%0A%09%09return e.submit(r, null);%0A%09%7D%0A%0A%7D%0A

add test case for whether ExecutorService.submit(r,t) allows t to be null (it does)