modifyAnnotationPosition rather than remove and add
prevents flickering
fix coloring of JavaEditor - also use modifyAnnotationPosition
get rid of unused and unneeded coqSource
make this re-entrant safe (verify method.. verify method.. verify method)
proper support for initializations
be curious about else branch being null
re-entrant: verify method a, verify method b
re-enable qed and mark proven methods
some more robustness