add(genericInfoPane, BorderLayout.NORTH);
add(specificInfoPane, BorderLayout.CENTER);
}
public void show(TreePath treePath) {
ElementValue eve = (ElementValue)
((BrowserTreeNode)treePath.getLastPathComponent()).getElement();
String paneName = null;
if (eve instanceof ConstElementValue) {
paneName = SCREEN_CONST_VALUE;