CardLayout layout = (CardLayout)specificInfoPane.getLayout();
if (paneName == null) {
layout.show(specificInfoPane, SCREEN_UNKNOWN);
} else {
AbstractDetailPane pane = elementTypeToDetailPane.get(paneName);
pane.show(treePath);
layout.show(specificInfoPane, paneName);
}
genericInfoPane.show(treePath);
}