Update to latest EISOP

.github/ISSUE_TEMPLATE

@@ -1,5 +1,5 @@
 Thanks for submitting an issue.
-As explained in the instructions for submitting an issue at https://checkerframework.org/manual/#reporting-bugs, please include four pieces of information:
+As explained in the instructions for submitting an issue at https://eisop.github.io/cf/manual/#reporting-bugs, please include four pieces of information:
  * commands (that can be cut-and-pasted into a command shell),
  * inputs,
  * outputs, and

.github/renovate.json

@@ -0,0 +1,17 @@
+{
+  "$schema": "https://docs.renovatebot.com/renovate-schema.json",
+  "extends": [
+    "config:base",
+    ":automergeDisabled",
+    ":automergeRequireAllStatusChecks",
+    "schedule:nonOfficeHours",
+    ":disableDependencyDashboard"
+  ],
+  "timezone": "America/Los_Angeles",
+  "packageRules": [
+    {
+      "matchPackageNames": ["com.amazonaws:aws-java-sdk-bom"],
+      "schedule": ["on the last day of the month"]
+    }
+  ]
+}

.github/renovate.json-README

@@ -0,0 +1,2 @@
+This schedule doesn't work:  Renovate accepts it but updates the dependency every day.
+      "schedule": ["on the last day of the month"],

.gitignore

@@ -45,7 +45,6 @@ checker/bin/.do-like-javac
 checker/bin/.scc/
 checker/bin-devel/.html-tools
 checker/bin-devel/.plume-scripts
-checker/bin-devel/.run-google-java-format
 checker/bin-devel/dockerdir
 checker/src/main/resources/git.properties
 # These tests are generated from those in checker/tests/calledmethods-lombok during the build.
@@ -59,6 +58,8 @@ plume-bib
 manual.aux
 manual.blg
 manual.dvi
+manual.fdb_latexmk
+manual.fls
 manual.haux
 manual.html
 manual.htoc
@@ -169,4 +170,6 @@ checker/tests/ainfer-nullness/annotated/
 checker/tests/ainfer-nullness/inference-output/
 checker/tests/ainfer-testchecker/annotated/
 checker/tests/ainfer-testchecker/inference-output/
+checker/tests/ainfer-resourceleak/annotated/
+checker/tests/ainfer-resourceleak/inference-output/
 framework/tests/returnsreceiverdelomboked/

.travis-build.sh

@@ -36,7 +36,7 @@ ROOTDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 SCRIPTDIR=$ROOTDIR/checker/bin-devel/
 
 # For debugging
-(cd "$CHECKERFRAMEWORK" && ./gradlew getPlumeScripts -q)
+(cd "$CHECKERFRAMEWORK" && ./gradlew getPlumeScripts)
 "${SCRIPTDIR}/plume-scripts/ci-info" typetools
 eval $("${SCRIPTDIR}/plume-scripts/ci-info" typetools)
 
@@ -53,7 +53,7 @@ echo "In checker-framework/.travis-build.sh GROUP=$GROUP"
 case  $GROUP  in
     all)
         # Run cftests-junit, cftests-nonjunit, and cftests-inference separately,
-        # because cftests-all takes too long to run on Travis under JDK 11.
+        # because cftests-all takes too long to run on Travis.
         "$SCRIPTDIR/test-cftests-junit.sh"
         "$SCRIPTDIR/test-cftests-nonjunit.sh"
         "$SCRIPTDIR/test-cftests-inference.sh"

CONTRIBUTING.md

@@ -2,15 +2,15 @@
 
 Thank you for contributing to the Checker Framework!  This project is a
 community effort of [more than 110
-developers](https://checkerframework.org/manual/#credits), plus countless
+developers](https://eisop.github.io/cf/manual/#credits), plus countless
 more people who have contributed bug reports and feature suggestions.  We
 couldn't do it without your help.
 
 
 ## Reporting bugs
 
 Please see the [bug
-reporting](https://checkerframework.org/manual/#reporting-bugs) section of
+reporting](https://eisop.github.io/cf/manual/#reporting-bugs) section of
 the Checker Framework manual.
 
 If the documentation is incorrect, incomplete, or confusing, that is a

README.md

@@ -1,8 +1,8 @@
 # The Checker Framework:  pluggable type-checking for Java
 
 Please see the Checker Framework manual
-([HTML](https://checkerframework.org/manual/),
-[PDF](https://checkerframework.org/manual/checker-framework-manual.pdf)).
+([HTML](https://eisop.github.io/cf/manual/),
+[PDF](https://eisop.github.io/cf/manual/checker-framework-manual.pdf)).
 
 The history of releases and changes is in file
 [docs/CHANGELOG.md](docs/CHANGELOG.md).