-
Mark authored
Use openjdk15 as latest version instead of openjdk14 under Travis CI. Allow for java.version that reports an integer without a patchlevel which is needed for running openjdk15.
0ba7dea2
Use openjdk15 as latest version instead of openjdk14 under Travis CI. Allow for java.version that reports an integer without a patchlevel which is needed for running openjdk15.