firePropertyChange("root", null, newRoot); // NOI18N firePropertyChange(PROP_DISPLAY_NAME, oldDisplayName, getDisplayName());
manifest = null; lastModification = 0; if (newRoot != null) firePropertyChange ("root", null, newRoot); // NOI18N firePropertyChange (PROP_DISPLAY_NAME, oldDisplayName, getDisplayName ());
manifest = null; lastModification = 0; if (newRoot != null) firePropertyChange ("root", null, newRoot); // NOI18N firePropertyChange (PROP_DISPLAY_NAME, oldDisplayName, getDisplayName ());