id wieder raus, da nicht garantiert werden kann, dass sie für alle JDK-Versionen identisch ist
Passed
Jesper Zedlitz
created pipeline for commit
0d31de20
, finished
For master
12 seconds, queued for 5 seconds