Skip to content
  • Mark's avatar
    Patches and CI changes for running on openjdk15 · 0ba7dea2
    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