Is it OK if we close this ticket? We have no code that would allow to reproduce the problem (unless OP can provide us with code). I'll close this ticket in a couple of days/weeks, unless somebody objects.