if (c == -1) {  }
	public void unread(int c)	{		Character cs = new Character((char)c);		/*		 * Push character back into line we are reading from.		 */		if (mCurrentLine == null)		{			mCurrentLine = new StringBuffer(cs.toString());			mCurrentLineIndex = 0;		}		else		{			/*			 * Is the character being pushed back the last one			 * we read (it should be).  If so, we can just			 * step back one character so it can be read again.			 */			if (mCurrentLineIndex > 0 &&				c == mCurrentLine.charAt(mCurrentLineIndex - 1))			{				mCurrentLineIndex--;			}			else			{				mCurrentLine.insert(mCurrentLineIndex, cs.toString());			}		}	}