eiffelstudio-public - Revision 107829: /vendor/ejson/current/library/utility/file
..
json_file_reader.e