From 86a3ef5355c828e2dc56b586fc6f5d690ca5afda Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Tue, 19 Sep 2017 20:10:25 +0200
Subject: [PATCH] travis-ci: always reinstall Java on OSX to get recent version

The Travis images have quite old versions of Java currently.
---
 .travis.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index ff034b68..80ce86a7 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -50,8 +50,9 @@ android:
 install:
   - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then
       brew update > /dev/null;
-      brew install dash bash python3 gradle;
+      brew install dash bash python3 gradle jenv;
       brew install gnu-sed --with-default-names;
+      brew cask reinstall java;
       brew cask install android-sdk;
 
       mkdir -p "$ANDROID_HOME/licenses";
@@ -66,6 +67,7 @@ install:
 
       echo $PATH;
       echo $JAVA_HOME;
+      jenv versions;
       /usr/libexec/java_home;
       java -version;
       which java;