refinement errors in problems (usage) #719
Description
When a refinement error is detected at the moment, two problems are reported in the problems view, one for BON and one for Java. To debug the error, I currently have to find the appropriate pair of problems, ensure I have two editor windows open, double-click on each problem in tandem with clicking on the editors, etc. This is a painful.
I think that refinement problems should perhaps be reported as a single problem, or as a third problem, or something so that with a single click action I can pop up both sides of the refinement side-by-side and focus on getting it solved.