System.out.println("Splitter: "+(splitter==consoleSplitter?"consoleSplitter":"bugTreeBugDetailsSplitter")+ ": height="+height+",location="+location+ ",hopefullyMax="+hopefullyMaxDivider);
    private boolean isSplitterMaximized(JSplitPane splitter, java.beans.PropertyChangeEvent evt) {	Integer location = (Integer) evt.getNewValue();        java.awt.Container parent = splitter.getParent();        //int parentHeight = parent.getHeight();        int height = splitter.getHeight();	int hopefullyMaxDivider = height - (splitter.getDividerSize() + DIVIDER_FUDGE);        System.out.println("Splitter: "+(splitter==consoleSplitter?"consoleSplitter":"bugTreeBugDetailsSplitter")+            ": height="+height+",location="+location+            ",hopefullyMax="+hopefullyMaxDivider);	boolean isMaximized = location.intValue() >= hopefullyMaxDivider;        return isMaximized;    }