Hi, CODETOOLS-7901466 has apparently been fixed in January: http://hg.openjdk.java.net/code-tools/webrev/rev/09a9e40fb8ea but the corresponding bug is still in status 'new': https://bugs.openjdk.java.net/browse/CODETOOLS-7901466 How can this happen? Regards, Volker