JBIDE-14547 - Page is refreshed only after first change is saved

Most important piece is in WorkspaceResourceChangedListener:
comparing the current workspace.getMarkerManager().getChangeId() with the last known changeId only works if the project had some (Faceted) Problems. Otherwise, the 'changedId' remains at the same value, which explains that the first change is taken into account, then no other change is processed.

This comparison was initially put in place to avoid duplicate notifications as m2e would make changes on other files in the /target directory, but this behaviour does not occur anymore.