return false; }, 
return false; }, 
		hasSettingsUI: function(){			return false;		},
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/731148a10a2e4f8f74ed09ad37338b24a567cb6c/WhatWGStorageProvider.js/clean/storage/WhatWGStorageProvider.js