UndoLastCEMUIAction undoCEMAction = new UndoLastCEMUIAction();
undoCEMAction.setViewComponent(this);
undoCEMButton = prepareButton(undoCEMAction, GUIConstants.UNDO_LAST_CECHANGE_BUTTON_TOOLTIP,
GUIConstants.UNDO_LAST_CECHANGE_BUTTON_TEXT);
UndoAllCEMUIAction undoAllCEMAction = new UndoAllCEMUIAction();
undoAllCEMAction.setViewComponent(this);
undoAllCEMButton = prepareButton(undoAllCEMAction, GUIConstants.UNDO_ALL_CECHANGES_BUTTON_TOOLTIP,
GUIConstants.UNDO_ALL_CECHANGES_BUTTON_TEXT);
NewCounterExampleUIAction newCounterExampleAction = new NewCounterExampleUIAction();
newCounterExampleAction.setViewComponent(this);