rem: if (this.preferences.get("timezone")) tz = java.util.TimeZone.getTimeZone(this.preferences.get("timezone")); 
add: if (this.properties.get("timezone")) tz = java.util.TimeZone.getTimeZone(this.properties.get("timezone")); 
context: Site.prototype.getTimeZone = function() {   var tz = this.cache.timezone;   if (tz)       return tz;   if (this.preferences.get("timezone"))       tz = java.util.TimeZone.getTimeZone(this.preferences.get("timezone"));   else       tz = root.getTimeZone();   this.cache.timezone = tz;   return tz;};
meta: 993	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/993/d46237ae5555045222f493137c5c51dbcd7b4033/Site.js/clean/code/Site/Site.js