public void Close () { if (end_of_input) return; end_of_input = true; end_of_json = true; reader = null; }