From 15ebaecbf8b8453827034a856b1425fae8355b67 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 25 Feb 2019 16:04:30 +0100
Subject: [PATCH] Travis CI: Temporarily disable jdk 11

Installation script failures on Travis...
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index bf8d11a8..cd8d4ca3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -11,7 +11,7 @@ jdk:
   - oraclejdk8
   - oraclejdk9
   - openjdk10
-  - openjdk11
+#  - openjdk11
   
 # compile and run the test suite
 # we manually set PRISM_JAVA to the java on the PATH as the python invocation of prism-auto fiddles with the PATH variable...