Comment out experiment.

.travis.yml

@@ -23,35 +23,35 @@ cache:
 # Must use a fixed distribution (and remember to occassionally upgrade..)
 # Try to force to use the latest Java 11 instead of 11.0.2 to fix 
 # https://bugs.openjdk.java.net/browse/JDK-8212233
-dist: bionic
+# dist: bionic
 
 jdk:
   - openjdk8
   - openjdk11
   - openjdk14
   - openjdk-ea
 
-# Remove the outdated OpenJDK 11.0.2 which Travis image grabbed from java.net in
-# https://github.com/travis-ci/travis-cookbooks/blob/master/cookbooks/travis_jdk/files/install-jdk.sh#L200
-# (which has 11.0.2 hard-coded!), and instead replace it with the latest openjdk-11-jdk-headless Ubuntu package.
-# NB /usr/local/lib/jvm/openjdk11/bin is also on the PATH, but there's no need to change it (because we rm -rf anyway)
 matrix:
   allow_failures:
     - jdk: openjdk-ea
     - jdk: openjdk14
-  include:
-    - stage: Install
-      name: "Updating Java 11..."
-      jdk: openjdk11
-      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/
-        - which java
-        - java -version
-        - $JAVA_HOME/bin/java -version
+# Remove the outdated OpenJDK 11.0.2 which Travis image grabbed from java.net in
+# https://github.com/travis-ci/travis-cookbooks/blob/master/cookbooks/travis_jdk/files/install-jdk.sh#L200
+# (which has 11.0.2 hard-coded!), and instead replace it with the latest openjdk-11-jdk-headless Ubuntu package.
+# NB /usr/local/lib/jvm/openjdk11/bin is also on the PATH, but there's no need to change it (because we rm -rf anyway)
+#  include:
+#    - stage: Install
+#      name: "Updating Java 11..."
+#      jdk: openjdk11
+#      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/
+#        - which java
+#        - java -version
+#        - $JAVA_HOME/bin/java -version
 
 script:
   - mvn -V --no-transfer-progress