public void Done() { try { input.Close(); } catch (System.IO.IOException e) { System.Console.Error.WriteLine("Caught: " + e + "; ignoring."); } }