final View currentView = fCurrentOverview.getCurrentView();
if (currentView != fGraphEditor.getPanel().getView()) {
LOGGER.info("Replacing overview");
fPanel.removeAll();
fCurrentOverview = new Overview(fGraphEditor.getPanel().getView());
fPanel.add(fCurrentOverview);
fPanel.validate();
fPanel.repaint();
}
} else {
LOGGER.info("Adding new overview");
fCurrentOverview = new Overview(fGraphEditor.getPanel().getView());
fPanel.add(fCurrentOverview);
fPanel.validate();
fPanel.repaint();
}