rem: opt_keyFilename : PROT_GlobalStore.getKeyFilename(); 
add: opt_keyFilename : kKeyFilename; 
context: function PROT_UrlCryptoKeyManager(opt_keyFilename, opt_testing) {  this.debugZone = "urlcryptokeymanager";  this.testing_ = !!opt_testing;  this.base64_ = new G_Base64();  this.clientKey_ = null;          // Base64-encoded, as fetched from server  this.clientKeyArray_ = null;     // Base64-decoded into an array of numbers  this.wrappedKey_ = null;         // Opaque websafe base64-encoded server key  this.rekeyTries_ = 0;  this.keyFilename_ = opt_keyFilename ?                       opt_keyFilename :                      PROT_GlobalStore.getKeyFilename();  // Convenience properties  this.MAX_REKEY_TRIES = PROT_UrlCryptoKeyManager.MAX_REKEY_TRIES;  this.CLIENT_KEY_NAME = PROT_UrlCryptoKeyManager.CLIENT_KEY_NAME;  this.WRAPPED_KEY_NAME = PROT_UrlCryptoKeyManager.WRAPPED_KEY_NAME;  if (!this.testing_) {    G_Assert(this, !PROT_UrlCrypto.prototype.manager_,             "Already have manager?");    PROT_UrlCrypto.prototype.manager_ = this;    this.maybeLoadOldKey();    this.reKey();  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/9d99105501d7a39f2b6da251e05b5bc7cfab24ce/url-crypto-key-manager.js/buggy/toolkit/components/url-classifier/content/url-crypto-key-manager.js