Fixed bug 463745: StandInException in MarkerHighlighter.removeHighlights (94)
1 file changed