add: Draggables._lastScrollPointer = null; 
context:   stopScrolling: function() {    if(this.scrollInterval) {      clearInterval(this.scrollInterval);      this.scrollInterval = null;    }  },
meta: 2320	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2320/19200c26046dc00f15305e03b7c1d28b4c38c952/dragdrop.js/clean/web/scripts/dragdrop.js