return explorationPanel;
}
private JToolBar prepareCounterExampleEditorToolBar() {
ProvideCounterExampleUIAction provideCounterExampleAction =
new ProvideCounterExampleUIAction();
provideCounterExampleAction.setViewComponent(this);
readyButton = prepareButton(provideCounterExampleAction, GUIConstants.READY_BUTTON_TOOLTIP,
GUIConstants.READY_BUTTON_TEXT);
UndoLastCEMUIAction undoCEMAction = new UndoLastCEMUIAction();
undoCEMAction.setViewComponent(this);