for(int i = 0; i < lines.length; i++) indentLine(lines[i]);
for(int i = start; i <= end; i++) indentLine(i);
	public void indentLines(int[] lines)	{		try		{			beginCompoundEdit();			for(int i = 0; i < lines.length; i++)				indentLine(lines[i]);		}		finally		{			endCompoundEdit();		}	} //}}}