UndoRedoManager undoRedoManager =
context.getUndoRedoManager();
try {
// we don't allow device renames to be undoable
undoRedoManager.enable(false);
dram.renameDevice(oldName, newName);
} catch (RepositoryException re) {
EclipseCommonPlugin.handleError(ABPlugin.getDefault(),
re);
throw new UndeclaredThrowableException(re);
} finally {