// workspace is required to push an entry
// on the undo stack. If this is done outside
// the change request, there is a race condition
// on the undo, and a deadlock could result if
// the model is running.
MoMLUndoEntry newEntry = new MoMLUndoEntry(toplevel,
finalUndoMoML);
UndoStackAttribute undoInfo = UndoStackAttribute
.getUndoInfo(toplevel);
undoInfo.push(newEntry);
}