tree 33341fe45b82a8b21b4212a6963acce5a4506177
parent 6a33d8cdd3060b3fea26b2ae63f9900f991ca52a
author Hugo Hirsch <github@hugo-hirsch.de> 1603050135 +0200
committer Hugo Hirsch <github@hugo-hirsch.de> 1603050135 +0200

Adapt to new JDK name in Jenkins