higher level File and FileReader API