else result = super.getColumnName(column);
	public String getColumnName(int column) {    String result = "";    if (columnIdentifiers == null)       result = super.getColumnName(column);    else     {      if (column < getColumnCount())      {          Object id = columnIdentifiers.get(column);        if (id != null)           result = id.toString();        else          result = super.getColumnName(column);    }    }    return result;  }