From b1e6a5306a0e06950067e0b07ba2eb6a3a3a4db2 Mon Sep 17 00:00:00 2001
From: Antonin Delpeuch <antonin@delpeuch.eu>
Date: Thu, 18 Apr 2019 20:31:05 +0100
Subject: [PATCH] Revert "openjdk 9 was superseded by the 11 version"

OpenJdk 11 is currently not available on Travis.

This reverts commit 54c7e28d8fdf2afef18b642b36c5cd760c35f017.
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 84177f6bf..418c3707a 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -3,7 +3,7 @@ jdk:
   - oraclejdk8
   - openjdk8
   - oraclejdk9
-  - openjdk11
+  - openjdk9
   
 addons:
   mariadb: '10.0'