Make sure Java 8 is used to build releases

Releases built with a newer JDK don't seem to work with Java 8.
magmaOffenburg · Feb 21, 2020 · b562720 · b562720
1 parent 1df4ff4
commit b562720
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,5 +1,7 @@
 language: java
 dist: xenial
+jdk:
+  - openjdk8
 
 script:
   - cd scripts