redraw problem in pom.xml editor when upgrading to latest patch version

[martinlippert]

Steps:

• create Rest Service sample project
• open pom.xml editor
• change version to 3.0.1
• wait for validation to show up newer versions markers
• go to problems view, select new patch version marker, apply quick fix from the problems view to upgrade to latest patch version
• pom.xml editor is dirty now, but the version hasn't changed

Interestingly this seems to be a redraw problem only. When I set the cursor to the line of the parent pom version, it redraws the line and the version displays now as 3.0.7. Even when I press save (before moving the cursor), the project gets updated correctly to 3.0.7, so the file content seems to be correctly changed, but the editor redraw is lagging behind somehow.

Anbohre interesting (slightly weird) point is that I haven't seen the same redraw problem when upgrading via the quick fix to 3.1.0 for unknown reasons...