rem: }; 
add: } 
context: qx.ui.window.Window.getDefaultWindowManager = function(){  if (!qx.ui.window.Window._defaultWindowManager) {    qx.ui.window.Window._defaultWindowManager = new qx.manager.object.WindowManager;  };  return qx.ui.window.Window._defaultWindowManager;};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/Window.js/clean/qooxdoo/source/script/qx/ui/window/Window.js