tree ea69a3c474ba5ff65aa673c06998ce070d7047d9
parent d4a1888349c350b4acc506c42efe48ab161ec629
author Hugo Hirsch <github@hugo-hirsch.de> 1603050206 +0200
committer Hugo Hirsch <github@hugo-hirsch.de> 1603050206 +0200

Adapt to new JDK name in Jenkins