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