From dbbb18d9062f10c3fab7e88f7fc57e5f0da49770 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Wed, 4 Jan 2023 06:35:13 -0800
Subject: [PATCH] Add constructor

---
 .../checker/resourceleak/ResourceLeakChecker.java              | 3 +++
 1 file changed, 3 insertions(+)

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