rem: }; 
add: } 
context: qx.Proto._modifyShowTime = function(propValue, propOldValue, propData){  if (propValue)  {    this._timer = new qx.client.Timer(this.getShowTime()/QxSplashScreen.MAX_VALUE);    this._timer.addEventListener(qx.constant.Event.INTERVAL, this._oninterval, this);  }  else  {    this._timer.stop();    this._timer.removeEventListener(qx.constant.Event.INTERVAL, this._oninterval, this);    this._timer.dispose();    this._timer = null;  };  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