private void FinishLine()
{
string l = line.ToString();
line.Clear();
if (redirection != null)
{
redirection(l);
}
else if (iserr)
{
#if DEBUG
JavaSystem.DebugWrite(l);
#else
System.Console.Error.WriteLine(l);
#endif
}
else
{
#if DEBUG
JavaSystem.DebugWrite(l);
#else
System.Console.WriteLine(l);
#endif
}
}