Hi Alexander Z., Kevin, I have adopted my latest patch for JDK-8143596 (uploaded yesterday as patch file) to the latest tip and created a webrev for it (the uploaded patch is therefore now obsolete):
https://bugs.openjdk.java.net/browse/JDK-8143596 http://cr.openjdk.java.net/~anyssen/8143596/webrev.00/ Best Regards, Alexander
