On 01/15/2015 05:24 PM, Anthony Scarpino wrote: >> Anthony, could you file a bug so that I can include its number? Thanks. >> > > Here it is: https://bugs.openjdk.java.net/browse/JDK-8069072 Thanks. Updated webrev: <http://cr.openjdk.java.net/~fweimer/8069072/webrev.01/> -- Florian Weimer / Red Hat Product Security