Revert "DO NOT MERGE, REMOVE ME LATER, testing OpenJDK 12"

This reverts commit 8fad5c28fdbd116dda97cf7915a763e285dd0107.

diff --git a/.travis.yml b/.travis.yml
index f26fe41beb963e57d2f2a2c3461353cfeab7d6ca..e7e84a0a623c4c72cd7402dfcf72ff48424dc5ee 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -34,8 +34,8 @@ before_install:
   - echo $JAVA_HOME
   - which java
   - sudo rm -rf /usr/local/lib/jvm/
-  - sudo apt-get install -y openjdk-12-jdk-headless
-  - export JAVA_HOME=/usr/lib/jvm/java-12-openjdk-amd64/
+  - sudo apt-get install -y openjdk-11-jdk-headless
+  - export JAVA_HOME=/usr/lib/jvm/java-11-openjdk-amd64/
   - which java
   - java -version
   - $JAVA_HOME/bin/java -version