if (baseHeader != null)
if (baseHeader != null) {
	public void setBaseTableHeader( JTableHeader header ) {		if (baseHeader != null)			baseHeader.removeMouseListener(headerListener);		baseHeader = header;		baseHeader.addMouseListener(headerListener);		}