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: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/4a752bc3458be2349a823211c9e0576dbe0508bd/preferences.js/clean/minimo/chrome/content/preferences/preferences.js