a subclass of "InputStreamReader" which converts system-dependent bytes to java characters after reading from disk