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

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...

Reproduce the issue with a Rest Service sample project by opening pom.xml, changing the parent version to 3.0.1, and applying the latest patch-version quick fix from the Problems view. Observe the pom.xml editor before and after moving the cursor or saving; done means the editor redraws the updated version immediately without appearing dirty.