Applied javascript_debugging_v1.0.diff by Yves.