From 30e3089d912548a15bdcd3ce30a02cc61dc77bd6 Mon Sep 17 00:00:00 2001
From: "Donal K. Fellows" <donal.k.fellows@manchester.ac.uk>
Date: Thu, 15 Jun 2023 15:29:48 +0100
Subject: [PATCH] Error Prone doesn't support Java 14

This isn't well documented in the slightest, but
https://github.com/google/guava/pull/6243 points to the right place and
https://github.com/google/error-prone/issues/3540 is the core issue.
---
 .github/workflows/build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 6462759a99..ac9dfa37dc 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -110,6 +110,7 @@ jobs:
         cache: 'maven'
 
     - name: "Check: Error Prone"
+      if: matrix.java != 14
       run: mvn clean test-compile -P "ErrorProne,!jsp-precompile" --settings $SETTINGS_FILE
     - name: "Check: Code Style"
       run: mvn directory:highest-basedir@find-root checkstyle:check --settings $SETTINGS_FILE