DO NOT MERGE, REMOVE ME LATER, testing OpenJDK 12

diff --git a/.travis.yml b/.travis.yml
index e7e84a0a623c4c72cd7402dfcf72ff48424dc5ee..f26fe41beb963e57d2f2a2c3461353cfeab7d6ca 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-11-jdk-headless
-  - export JAVA_HOME=/usr/lib/jvm/java-11-openjdk-amd64/
+  - sudo apt-get install -y openjdk-12-jdk-headless
+  - export JAVA_HOME=/usr/lib/jvm/java-12-openjdk-amd64/
   - which java
   - java -version
   - $JAVA_HOME/bin/java -version