Timon Veenstra Wed, 30 Oct 2019 02:34:43 -0700
+1
Encountered same issue as GJ Provided patch fixed the issue Linux Mint 18.3 + OpenJDK 11