Travis for JDK 17

.travis-build.sh

@@ -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 it takes too long to run on Travis under JDK 11.
+        # because cftests-all takes too long to run on Travis under JDK 11.
         "$SCRIPTDIR/test-cftests-junit.sh"
         "$SCRIPTDIR/test-cftests-nonjunit.sh"
         "$SCRIPTDIR/test-cftests-inference.sh"

.travis.yml

@@ -20,36 +20,52 @@ env:
   matrix:
     - GROUP=cftests-junit JDKVER=jdk8
     - GROUP=cftests-junit JDKVER=jdk11
+    - GROUP=cftests-junit JDKVER=jdk17
     - GROUP=cftests-nonjunit JDKVER=jdk8
     - GROUP=cftests-nonjunit JDKVER=jdk11
+    - GROUP=cftests-nonjunit JDKVER=jdk17
     - GROUP=cftests-inference JDKVER=jdk8
     - GROUP=cftests-inference JDKVER=jdk11
+    - GROUP=cftests-inference JDKVER=jdk17
     - GROUP=misc JDKVER=jdk8-plus
     - GROUP=misc JDKVER=jdk11-plus
+    - GROUP=misc JDKVER=jdk17-plus
 #    - GROUP=cf-inference JDKVER=jdk8
 #    - GROUP=cf-inference JDKVER=jdk11
+#    - GROUP=cf-inference JDKVER=jdk17
     - GROUP=daikon-part1 JDKVER=jdk8
     - GROUP=daikon-part1 JDKVER=jdk11
+    - GROUP=daikon-part1 JDKVER=jdk17
     - GROUP=daikon-part2 JDKVER=jdk8
     - GROUP=daikon-part2 JDKVER=jdk11
+    - GROUP=daikon-part2 JDKVER=jdk17
     - GROUP=guava-formatter JDKVER=jdk8
     - GROUP=guava-formatter JDKVER=jdk11
+    - GROUP=guava-formatter JDKVER=jdk17
     - GROUP=guava-index JDKVER=jdk8
     - GROUP=guava-index JDKVER=jdk11
+    - GROUP=guava-index JDKVER=jdk17
     - GROUP=guava-interning JDKVER=jdk8
     - GROUP=guava-interning JDKVER=jdk11
+    - GROUP=guava-interning JDKVER=jdk17
     - GROUP=guava-lock JDKVER=jdk8
     - GROUP=guava-lock JDKVER=jdk11
+    - GROUP=guava-lock JDKVER=jdk17
     - GROUP=guava-nullness JDKVER=jdk8
     - GROUP=guava-nullness JDKVER=jdk11
+    - GROUP=guava-nullness JDKVER=jdk17
     - GROUP=guava-regex JDKVER=jdk8
     - GROUP=guava-regex JDKVER=jdk11
+    - GROUP=guava-regex JDKVER=jdk17
     - GROUP=guava-signature JDKVER=jdk8
     - GROUP=guava-signature JDKVER=jdk11
+    - GROUP=guava-signature JDKVER=jdk17
     - GROUP=plume-lib JDKVER=jdk8
     - GROUP=plume-lib JDKVER=jdk11
+    - GROUP=plume-lib JDKVER=jdk17
     - GROUP=downstream JDKVER=jdk8
     - GROUP=downstream JDKVER=jdk11
+    - GROUP=downstream JDKVER=jdk17
 
 # The "docker run" command will pull if needed.
 # Running this first gives two tries in case of network lossage.