add: if (Windows.focusedWindow == this) return; 
context: 	toFront: function() {    this.setZIndex(Windows.maxZIndex + 20);    Windows.notify("onFocus", this);	},
meta: 1654	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1654/2484c8f5e13b095420895e8211b280abbd2726e3/window.js/buggy/javascript/window/window.js