rem: if (pref.value != null) 
add: if (pref.value != "") 
context: function readCacheLocationPref(){   var pref = document.getElementById("browser.cache.disk.parent_directory");  if (pref.value != null)      return true;  else      return false;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/82c1360f75a65782f5b8633f03c90481f9e9630e/preferences.js/clean/minimo/chrome/content/preferences/preferences.js