Bug 1109112 - Avoid highlighter exceptions after reloading the page; r=miker