Am 17.10.2013 um 17:45 schrieb Richard Bair <richard.bair at oracle.com>: > Usually, file jira and attach a patch (and a unit test for expedited service :-)) > > Richard Ok, I'll check that for the future. Actually, I am not sure how a unit test would look like for a crash fix like that ;) Matthias