is.init(fis, that.getCharset(), 4096, DEFAULT_REPLACEMENT_CHARACTER); 
istream.init(fis, that.getCharset(), 4096, DEFAULT_REPLACEMENT_CHARACTER); 
    self.read = function() {      /* read file, reset ts & size */      var DEFAULT_REPLACEMENT_CHARACTER = 65533;      var buffer = [];      try {        var fis = Components.          classes["@mozilla.org/network/file-input-stream;1"].          createInstance(Components.interfaces.nsIFileInputStream);        fis.init(self.file, 0x01, parseInt('00400',8), 0);         // MODE_RDONLY | PERM_IRUSR          var is = Components.          classes["@mozilla.org/intl/converter-input-stream;1"].          createInstance(Components.interfaces.nsIConverterInputStream);        is.init(fis, that.getCharset(), 4096, DEFAULT_REPLACEMENT_CHARACTER);          var str = {};        while (is.readString(4096, str) !== 0) {          buffer.push(str.value);        }                is.close();        fis.close();          self.timestamp = self.file.lastModifiedTime;        self.size      = self.file.fileSize;          return buffer.join('');      } catch(e) {        return null;      }    };
4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4463/827262f1f63a5a2e4dcd81dfc9ff5cec16f6e039/itsalltext.js/buggy/chrome/content/itsalltext.js