jsr385-java12 Java 12 Demos for JSR 385 This exposes a bug that was fixed only from Java 13 on. It fails to compile up to JDK 12.0.2 and only starts to work with JDK 13.