From fa537396d86cb0cbbfa6f00af6cffeb1924370fa Mon Sep 17 00:00:00 2001
From: Werner Dietl <wdietl@gmail.com>
Date: Thu, 8 Dec 2022 14:36:26 -0500
Subject: [PATCH] Use EISOP Framework 3.28.0-eisop1

---
 build.gradle | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/build.gradle b/build.gradle
index 79b8851..33fbae3 100644
--- a/build.gradle
+++ b/build.gradle
@@ -74,6 +74,12 @@ tasks.withType(JavaCompile).configureEach {
 
 apply plugin: 'org.checkerframework'
 
+dependencies {
+  compileOnly 'io.github.eisop:checker-qual:3.28.0-eisop1'
+  testCompileOnly 'io.github.eisop:checker-qual:3.28.0-eisop1'
+  checkerFramework 'io.github.eisop:checker:3.28.0-eisop1'
+}
+
 checkerFramework {
   checkers = [
     // No need to run CalledMethodsChecker, because ResourceLeakChecker does so.