[Jtimer-commits] 01/01: fixes #150: Does not build on JDK11