*/
    public void setUtilityPaneVisible(boolean visible) {
        if (utilityTabbedPane != null) {
            utilityTabbedPane.setVisible(visible);
        }
        if (utilityAndDocumentSplitPane != null) {
            if (visible) {
                // use the last split pane value.
                utilityAndDocumentSplitPane.setDividerLocation(
                        utilityAndDocumentSplitPaneLastDividerLocation);
                utilityAndDocumentSplitPane.setDividerSize(8);
            } else {
                // if we're hiding the panel then we grab the last know value
                // and set the width to zero or invisible.
                int divLoc = utilityAndDocumentSplitPane.getDividerLocation();
                if (divLoc > 5) {
                    utilityAndDocumentSplitPaneLastDividerLocation = divLoc;
                }
                utilityAndDocumentSplitPane.setDividerSize(0);
            }
        }
        reflectStateInComponents();
    }