updates icons of the navigator view

refs 2553

org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/extension/base/ConstraintVerifierUIBase.java

@@ -39,6 +39,7 @@ import org.fortiss.tooling.kernel.model.constraints.OutdatedVerificationStatus;
 import org.fortiss.tooling.kernel.service.IConstraintVerificationService;
 import org.fortiss.tooling.kernel.service.IConstraintVerificationService.IFix;
 import org.fortiss.tooling.kernel.ui.extension.IConstraintVerifierUI;
+import org.fortiss.tooling.kernel.ui.service.INavigatorService;
 
 /**
  * Base class for constraint verification GUI.
@@ -61,6 +62,7 @@ public class ConstraintVerifierUIBase<T extends IConstraint> implements IConstra
 			IConstraintVerificationService.INSTANCE.verify(constraint);
 			IConstraintVerificationStatus currentStatus = constraint.getVerificationStatus();
 			// If the constraint verification resulted in an error, we display it immediately.
+			INavigatorService.INSTANCE.refresh();
 			if(currentStatus instanceof ErrorVerificationStatus & canOpen(currentStatus)) {
 				openStatus(currentStatus);
 			}