On 09/11/2013 02:33 PM, Seán Coffey wrote: > 8024648: 8016131 breaks Zero port
8024648 is not available publicly (yet) so please ignore me if this is already done. A superset of this fix was pushed as 8022188 [1] into hotspot [1]: http://hg.openjdk.java.net/hsx/hotspot-rt/hotspot/rev/c54a3122f9c8 It might be good to associate 8024648 with 8022188 somehow. Cheers, Omair [1] http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=8022188 -- PGP Key: 66484681 (http://pgp.mit.edu/) Fingerprint = F072 555B 0A17 3957 4E95 0056 F286 F14F 6648 4681