rem: Html.dropDown({name: "timezone"}, options, tz ? tz.getID() : null); 
add: html.dropDown({name: "timezone"}, options, tz ? tz.getID() : null); 
context: function renderTimeZoneChooser(tz) {   var zones = java.util.TimeZone.getAvailableIDs();   var options = new Array();   var format = new java.text.DecimalFormat ("-0;+0");   for (var i in zones) {      var zone = java.util.TimeZone.getTimeZone(zones[i]);      options[i] = [zones[i], "GMT" + (format.format(zone.getRawOffset()/ONEHOUR)) + " (" + zones[i] + ")"];   }   Html.dropDown({name: "timezone"}, options, tz ? tz.getID() : null);   return;}
meta: 993	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/993/4b8d6a823bd5d00f71cf836f5f540553b9fdd13f/Global.js/buggy/code/Global/Global.js