Am 30.11.2012 12:29, schrieb Andrew Haley: > Fixed thusly, We'll see what the AWT devs say. Thanks a lot for the patch and sorry for all the trouble with reproducibility! I haven't been able to reproduce the crash with this patch applied, so I would assume the problem is really fixed. Ignaz