diff --git a/checker/src/main/java/org/checkerframework/checker/rlccalledmethods/jdk.astub b/checker/src/main/java/org/checkerframework/checker/rlccalledmethods/jdk.astub
deleted file mode 100644
index bb2feccd74e..00000000000
--- a/checker/src/main/java/org/checkerframework/checker/rlccalledmethods/jdk.astub
+++ /dev/null
@@ -1,19 +0,0 @@
-package java.lang;
-
-import org.checkerframework.checker.lock.qual.GuardSatisfied;
-import org.checkerframework.dataflow.qual.SideEffectFree;
-
-public interface AutoCloseable {
-  @SideEffectFree
-  void close(@GuardSatisfied AutoCloseable this) throws Exception;
-}
-
-package java.io;
-
-import org.checkerframework.checker.lock.qual.GuardSatisfied;
-import org.checkerframework.dataflow.qual.SideEffectFree;
-
-public interface Closeable extends AutoCloseable {
-  @SideEffectFree
-  public void close(@GuardSatisfied Closeable this) throws IOException;
-}