else if(ch == 't') buf.append('\t');
		public Expansion(String text)		{			StringBuffer buf = new StringBuffer();			boolean backslash = false;			for(int i = 0; i < text.length(); i++)			{				char ch = text.charAt(i);				if(ch == '\\')					backslash = true;				else if(backslash)				{					backslash = false;					if(ch == '|')						caretPosition = buf.length();					else if(ch == 'n')					{						buf.append('\n');						lineCount++;					}					else						buf.append(ch);				}				else					buf.append(ch);			}			this.text = buf.toString();		}