[Bug 6783] Logicworks coredumps