s.concat(":" + in.getLineNumber());
s = s.concat(":" + in.getLineNumber());
	public String getCurrentFilenameAndLine()	{		String s = (String)mFilenameStack.getLast();		if (s == null)			return("");		else		{			LineNumberReader in;			try			{				in = (LineNumberReader)mFileStack.getLast();				s.concat(":" + in.getLineNumber());			}			catch(NoSuchElementException e)			{			}		}		return(s);	}