Isn't there a risk that this will remove annotations created by other components, as for instance [mark occurrences](https://github.com/scala-ide/scala-ide/blob/master/org.scala-ide.sdt.core/src/scala/tools/eclipse/ScalaSourceFileEditor.scala#L160)?