From 9256c90d6e5feda9dc1cf50b8c2d086e653a65bd Mon Sep 17 00:00:00 2001
From: "Aaron S. Hawley" <aaron.s.hawley@gmail.com>
Date: Thu, 26 Jul 2018 04:50:59 -0400
Subject: [PATCH] Add jdk_switcher Travis hack

The openjdk6 build was still running on Java 8.

This is a copy of the same change Seth Tisue made on 8-Jun-2018
to scala-parser-combinators.
---
 .travis.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 78520bbb0..629df76af 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,6 +5,9 @@ addons:
     packages:
       - openjdk-6-jdk
 
+# Needed for openjdk6
+sudo: required
+
 jdk:
   - openjdk6
   - oraclejdk8
@@ -44,7 +47,11 @@ matrix:
     - scala: 2.13.0-M3
       jdk: openjdk6
 
-script: admin/build.sh
+script: 
+  # work around https://github.com/travis-ci/travis-ci/issues/9713
+  - if [[ $JAVA_HOME = *java-6* ]]; then jdk_switcher use openjdk6; fi
+  - java -version
+  - admin/build.sh
 
 before_cache:
   - find $HOME/.sbt -name "*.lock" | xargs rm