tree 6473ad2dcb5208da7a92a7f1ee26411d1cc3503b
parent 97019d6ccca9aefd24fe798eb75b2b119b7ed22f
author Hugo Hirsch <github@hugo-hirsch.de> 1556733818 +0200
committer Hugo Hirsch <github@hugo-hirsch.de> 1556733818 +0200

Try building with JDK12 as well.