On Monday 27 September 2010 22:18:40, Daniel Fischer wrote: > Although the Core looks as though it might leak, And with 6.8.3 it does leak indeed, but no more with 6.10.* and 6.12.*. All produced identical Core, so it's probably a change in the garbage collector.