issue #2823: Removing unused codes of debugger.