Hi Jon, jon.vanalten at redhat.com wrote: >> Would you like to push the fix (you'll need an OpenJDK ID), or I can >> handle the push myself? > > Please do push this. Just pushed into jdk7/swing/jdk, changeset is 2438:f1bafc4f249d. Thanks! -- Peter