return jEdit.getProperty("options.styles.style");
return jEdit.getProperty("options.style.style");
	public String getColumnName(int index)	{		switch(index)		{		case 0:			return jEdit.getProperty("options.styles.object");		case 1:			return jEdit.getProperty("options.styles.style");		default:			return null;		}	}