Hi, here is the bugID: 8024854 Best, Albert On 16.09.2013 11:33, Volker Simonis wrote: > This change will be in the jdk repository for which we don't have > patch queues.