Okay, I've submitted a bug report to bugs.java.com where it has been assigned Review ID JI-9026706. -- Chris Kevin Rushforth wrote: > Hi Chris, > > Application developers can file bugs here: > > http://bugs.java.com/ > > Thanks. > > -- Kevin