FIX: harden shutdown in ejsDestoryIntern