this.deliver = function(/*array*/ message){ 
this.deliver = function(message){ 
	this.deliver = function(/*array*/ message){		// console.debug(message);		if(message["timestamp"]){			this.lastTimestamp = message.timestamp;		}	}
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/d0f9ee8243dce3dfda13175ec0838eb68311844f/cometd.js/clean/_cometd/cometd.js