 return false; }, 
 return false; }, 
		hasSettingsUI: function(){ /*Boolean*/			// summary: Determines whether this provider has a settings UI.			return false;		},
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/731148a10a2e4f8f74ed09ad37338b24a567cb6c/Provider.js/buggy/storage/Provider.js