change jdk to 9

This commit is contained in:
PEDSF 2020-11-07 14:36:50 +01:00
parent f2ea0ef390
commit dae520af6f

View file

@ -2,8 +2,8 @@ language: java
sudo: true sudo: true
dist: trusty dist: trusty
# use Java 8 # use Java 9
#jdk: oraclejdk8 jdk: oraclejdk9
before_install: before_install:
- chmod +x mvnw - chmod +x mvnw