if(aS_ColumnNames==null) { throw new NullPointerException("Parameter of ListTableModel.setColumnNames cannot be null "); }
	protected void setColumnNames(String[] aS_ColumnNames)	{		iS_ColumnNames = aS_ColumnNames;	}