function _removeBackwardFramesForFile(file) {
        jumpBackwardStack = jumpBackwardStack.filter(function (frame) {
            return frame._validateFileHash(file);
        });
    }
Removes all frames from backward navigation stack for the given file only if the file is changed on disk.
@private