tree 70bc6277ffc56bcbc8e9612e7691b372b75b1152
parent ec587c06e0b82627a3921988c4455f8473fa7352
author Hugo Hirsch <github@hugo-hirsch.de> 1603049927 +0200
committer Hugo Hirsch <github@hugo-hirsch.de> 1603049927 +0200

Adapt to new JDK name in Jenkins