}
}
public void valueChanged(TreeSelectionEvent tse) {
DefaultMutableTreeNode node = (DefaultMutableTreeNode) jtCatalog
.getLastSelectedPathComponent();
RFCCatalog rfcc = (RFCCatalog) node.getUserObject();
if (rfcc == null)return;
jump(rfcc.getPageNumber());
}