A fix for #86; new version; synchronized with Dart debugger upstream changes