rem: var pps = Components.classes["@mozilla.org/network/protocol-proxy-service;1"] .getService(nsPIProtocolProxyService); pps.configureFromPAC(autoURL.value); 
add:   Components.classes["@mozilla.org/network/protocol-proxy-service;1"]. getService().reloadPAC(); 
context: function ReloadPAC() {  var pps = Components.classes["@mozilla.org/network/protocol-proxy-service;1"]                       .getService(nsPIProtocolProxyService);  pps.configureFromPAC(autoURL.value);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/1b73e64f90720f47c087f01170a1249d3b99db9d/pref-proxies.js/clean/xpfe/components/prefwindow/resources/content/pref-proxies.js