From 8d97c519d8b68ff3a1512d7b392b632e2141fc3b Mon Sep 17 00:00:00 2001
From: Antonin Delpeuch <antonin@delpeuch.eu>
Date: Wed, 3 Jul 2019 10:20:52 +0200
Subject: [PATCH] Disable OpenJDK 9, which fails to install on Travis at the
 moment.

---
 .travis.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 230f722db..f6b3e3e9c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -2,7 +2,6 @@ language: java
 dist: xenial
 jdk:
   - openjdk8
-  - openjdk9
   - oraclejdk11
   - openjdk11
   - openjdk12