I am wondering if we do this work twice: once ourselves, and another time through the JDT + weaving. This part in the [CompilationUnitProblemFinderAspect.aj](https://github.com/scala-ide/scala-ide/blob/master/org.scala-ide.sdt.aspects/src/scala/tools/eclipse/contribution/weaving/jdt/core/CompilationUnitProblemFinderAspect.aj#L52) retrieves compilation errors and passes them to JDT for showing them up in the editor. Do we get twice the number of annotations, but they look the same and don't notice?