add: Draggables._lastScrollPointer = null; 
context:   stopScrolling: function() {    if(this.scrollInterval) {      clearInterval(this.scrollInterval);      this.scrollInterval = null;    }  },
meta: 4973	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4973/2e6cdce0a4e7c025dfe882c234686ffe2cbf5a9f/dragdrop.js/buggy/src/dragdrop.js