rem: }; 
add: } 
context: qx.Proto._modifyShowProgressBar = function(propValue, propOldValue, propData){  if (propValue)  {    var progressPB = this._progressBar = new QxProgressBar(qx.Const.DIRECTION_RIGHT, QxSplashScreen.MIN_VALUE, QxSplashScreen.MAX_VALUE);    progressPB.setHeight(20);    this._layout.addAtEnd(progressPB);  }  else  {    this._layout.remove(this._progressBar);  };  return true;};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/QxSplashScreen.js/buggy/qooxdoo/source/contributed/splashscreen_olsson/QxSplashScreen.js