From 10c58de70662717608559760a82b9a38bdfbbd99 Mon Sep 17 00:00:00 2001
From: Chris Richardson <chris@chrisrichardson.net>
Date: Tue, 21 Jul 2020 11:34:19 -0700
Subject: [PATCH] Fixed CircleCI build: upgraded to 14.0.2-open

---
 .circleci/install-jdk-14.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/install-jdk-14.sh b/.circleci/install-jdk-14.sh
index c744191a..b017ea93 100755
--- a/.circleci/install-jdk-14.sh
+++ b/.circleci/install-jdk-14.sh
@@ -3,6 +3,6 @@
 export SDKMAN_DIR=/home/circleci/.sdkman
 curl -s "https://get.sdkman.io" | bash
 source "$SDKMAN_DIR/bin/sdkman-init.sh"
-sdk install java 14.0.1-open
+sdk install java 14.0.2-open
 # Repeat to get env var set
 source "$SDKMAN_DIR/bin/sdkman-init.sh"