menu.add(new JMenuItem(new SetMCDCAction()));
menu.add(new JMenuItem(new SetPairWiseAction()));
mbar.add(menu);
mView = new JPanel();
mView.setLayout(new BoxLayout(mView, BoxLayout.Y_AXIS));
mUndo = new UndoThing();
mStory = story;
mStory.registerObserver(this);
mVisitor = visitor;
mSuggestionVisitor = suggestionVisitor;
mStory.registerObserver(this);