BugInstance bugInstance = getCurrentBugInstance(); synchBugInstance(bugInstance);
synchBugInstance();
    private void bugTreeBugDetailsSplitterPropertyChange(java.beans.PropertyChangeEvent evt) {//GEN-FIRST:event_bugTreeBugDetailsSplitterPropertyChange        // Here we want to        //   (1) Keep the View:Bug details checkbox item up to date, and        //   (2) keep the details window synchronized with the current bug instance        String propertyName = evt.getPropertyName();	if (propertyName.equals(JSplitPane.DIVIDER_LOCATION_PROPERTY)) {            boolean isMaximized = isSplitterMaximized(bugTreeBugDetailsSplitter, evt);            viewBugDetailsItem.setSelected(!isMaximized);            if (!isMaximized) {                // Details window is shown, so make sure it is populated                // with bug detail information                BugInstance bugInstance = getCurrentBugInstance();                synchBugInstance(bugInstance);            }        }    }//GEN-LAST:event_bugTreeBugDetailsSplitterPropertyChange