Hi Phil, the fix looks fine to me. Thanks, Andrew On 5/24/2013 1:26 AM, Phil Race wrote: > Jennifer & Andrew, > > http://cr.openjdk.java.net/~prr/8008535/ > > Simple fix for a printing bug dating back to JDK 7 build 08 ! > > -phil.