I'd like to get involved in this JEP. When active development will be kicked off? Is it enough to read this mailing list or are other sources more recommended and is http://hg.openjdk.java.net/jdk9/dev/jdk/ the correct repo? Thanks Hendrik -- Hendrik Saly (salyh, hendrikdev22) @hendrikdev22 PGP: 0x22D7F6EC