public void setColumnWidths(Options p){
		if (name == "") return;
		setAutoResizeMode(JTable.AUTO_RESIZE_OFF);
		int colCount = getColumnCount();
		for (int i=0; i<colCount; i++){
			String key = ""+name+i;
			int k = p.getIProperty(key);
			if (k != 0)
				getColumnModel().getColumn(i).setPreferredWidth(k);
		}
		setAutoResizeMode(JTable.AUTO_RESIZE_SUBSEQUENT_COLUMNS);
	}