Some cleanups in debugger/script/sourceTool.js