Changes to work with the latest JS Debugger implementation