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);
newCounterExampleButton = prepareButton(newCounterExampleAction, GUIConstants.NEW_COUNTEREXAMPLE_BUTTON_TOOLTIP,
GUIConstants.NEW_COUNTEREXAMPLE_BUTTON_TEXT);
AdvancedCounterExampleGUIAction advancedCounterExampleAction = new AdvancedCounterExampleGUIAction();
advancedCounterExampleAction.setViewComponent(this);