From 67e60ab2e44661a346d05a48485dfa9ef802de8e Mon Sep 17 00:00:00 2001
From: Suzanne Millstein <smillst@cs.washington.edu>
Date: Tue, 30 Apr 2024 08:19:35 -0700
Subject: [PATCH] Don't run on some Java versions.

---
 .github/workflows/maven_tests.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/maven_tests.yml b/.github/workflows/maven_tests.yml
index cb4ccd21ae..b19f4b4ef5 100644
--- a/.github/workflows/maven_tests.yml
+++ b/.github/workflows/maven_tests.yml
@@ -34,8 +34,8 @@ jobs:
         os: [ ubuntu-latest, macos-latest, windows-latest ]
         ## Different JDK versions have different implementations etc. -- test on all combinations (ideally 8 to latest).
         ### exclude pre-8 (min development version jdk8)
-        # typetools: Exclude 10 because of crashes in the compiler
-        jdk: [ 8,9,11,12,13,14,15,16,17 ]
+        # typetools: Exclude 10 because of crashes in the compiler, exclude others because they aren't found
+        jdk: [ 8,11,13,15,16,17 ]
     env:
       OS: ${{ matrix.os }}
       JDK: ${{ matrix.jdk }}