rem: }, 
add: } 
context:   readHTTPProxyPort: function ()  {    var shareProxiesPref = document.getElementById("network.proxy.share_proxy_settings");    if (shareProxiesPref.value)      this.updateProtocolPrefs();    return undefined;  },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/3c2553f425837c0ac00c77b81c1ddb6b63e2d23e/connection.js/clean/browser/components/preferences/connection.js