Hi, I would like to drop CI jobs for jdk9 and replace with jdk10, motivations: - jdk 9 is EOL, no one will ever stay on jdk9 - I have production users on jdk10
We already have a Travis config on jdk10, but no Jenkins Any seconder? I will send a PR if we agree Enrico -- -- Enrico Olivelli