JDK 12 EA Build 18 -- preferable to JDK 11, right now

[Geertjan Wielenga]

https://www.youtube.com/watch?v=9IrYfCWJhSs

Hope it helps and solves some of the problems some were facing over the
past weeks.

Gj