Hi, thank you for the fix early. Regards, bitter_fox 2012/1/11 Maurizio Cimadamore <maurizio.cimadamore at oracle.com> > Hi, > this bug has been fixed in the latest push. > > Thanks for the report > Maurizio >