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);
advancedCounterExampleButton = prepareButton(advancedCounterExampleAction, GUIConstants.ADVANCED_COUNTEREXAMPLE_BUTTON_TOOLTIP,
GUIConstants.ADVANCED_COUNTEREXAMPLE_BUTTON_TEXT);
counterExampleEditorToolBar = new JToolBar();
counterExampleEditorToolBar.add(readyButton);