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