Made eof() method on json_reader public