add:  filename = filename.replace(/^"|"$/g, ""); 
context:   get suggestedFileName()  {    var filename = "";    var name = this.mContentDisposition;    if (name) {      const filenamePrefix = "filename=";      var ix = name.indexOf(filenamePrefix);      if (ix > 0) {        // Adjust ix to point to start of actual name        ix += filenamePrefix.length;        filename = name.substr(ix, name.length);        if (filename != "") {          ix = filename.lastIndexOf(";");          if (ix > 0)            filename = filename.substr(0, ix);          // XXX strip out quotes;        }      }    }    return filename;  }  
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/0cd96a8d9299455c7cc54ecdc19ddb35d3e99db0/contentAreaUtils.js/buggy/xpfe/communicator/resources/content/contentAreaUtils.js