rem: this.log( tzid + " not supported, falling back to default: " + ret); 
add: this.log(tzid + " not supported, falling back to default: " + ret); 
context:     getAlignedTimezone:    function( tzid )    {        // check whether it is one of cs:        if (tzid.indexOf("/mozilla.org/") == 0) {            // cut mozilla prefix: assuming that the latter string portion            //                     semantically equals the demanded timezone            tzid = tzid.substring( // next slash after "/mozilla.org/"                tzid.indexOf("/", "/mozilla.org/".length) + 1 );        }        if (!this.session.isSupportedTimezone(tzid)) {            // xxx todo: we could further on search for a matching region,            //           e.g. CET (in TZNAME), but for now stick to            //           user's default if not supported directly            var ret = this.defaultTimezone;            // use calendar's default:            this.log( tzid + " not supported, falling back to default: " + ret);            return ret;        }        else // is ok (supported):            return tzid;    }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/be59e16ec7060ce9c7a5ab732fd80159c63d63ce/calWcapCalendar.js/clean/calendar/providers/wcap/calWcapCalendar.js