java.awt.Container parent = splitter.getParent();
	private boolean isSplitterMaximized(JSplitPane splitter, java.beans.PropertyChangeEvent evt) {		Integer location = (Integer) evt.getNewValue();		java.awt.Container parent = splitter.getParent();		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;	}