diff --git a/checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakChecker.java b/checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakChecker.java
index cfda961fb0a..b5a30070da5 100644
--- a/checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakChecker.java
+++ b/checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakChecker.java
@@ -27,6 +27,9 @@
 @StubFiles("IOUtils.astub")
 public class ResourceLeakChecker extends CalledMethodsChecker {
 
+  /** Creates a ResourceLeakChecker. */
+  public ResourceLeakChecker() {}
+
   /**
    * Command-line option for counting how many must-call obligations were checked by the Resource
    * Leak Checker, and emitting the number after processing all files. Used for generating tables