Error markers shown in wrong Eclipse editor!?

[ericbodden]

During my demo in DECA today I encountered a really strange problem where I was editing and storing one file in Eclipse, bug the error markers showed up in another file that I had previously worked in. The markers were correct, but showed up in the wrong editor. I cannot reproduce the error right now. I am therefore thinking that maybe there's a race condition in the way the editor is retrieved?

[kruegers]

@ericbodden This sounds rather like an issue with Eclipse itself, not CogniCrypt, no?

[ericbodden]

Since I have never before seen this in Eclipse, I suspect that we are using Eclipse somehow in an incorrect way. But I am not sure.

[kruegers]

I have tried multiple times with multiple Eclipse versions to reproduce this error by randomly jumping through files when the analysis ran but was not able to. I am hence closing the issue until the problem occurs again.