/** * Get or create a component displaying the node properties. * Only to be called if hasProperties() is true; */ public JComponent getPropertiesComponent() { if(propcomp==null) { if(rinfo==null) { propcomp = new NFPropertyProperties(); ((NFPropertyProperties)propcomp).setProperty(propmi, ea, sid, mi); } else { propcomp = new NFRPropertyProperties(); ((NFRPropertyProperties)propcomp).setProperty(propmi, ea, mi, rinfo); } } return propcomp; }