From eaf018e476bcd5febdada14aed775a6e7d53b936 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Wed, 16 Oct 2013 10:20:14 +0200
Subject: [PATCH] restart highlighting after contract change

---
 .../intellij/codeInspection/dataFlow/EditContractIntention.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/java/java-impl/src/com/intellij/codeInspection/dataFlow/EditContractIntention.java b/java/java-impl/src/com/intellij/codeInspection/dataFlow/EditContractIntention.java
index 2f856b99f5ea..998d5b713275 100644
--- a/java/java-impl/src/com/intellij/codeInspection/dataFlow/EditContractIntention.java
+++ b/java/java-impl/src/com/intellij/codeInspection/dataFlow/EditContractIntention.java
@@ -17,6 +17,7 @@ package com.intellij.codeInspection.dataFlow;
 
 import com.intellij.codeInsight.AnnotationUtil;
 import com.intellij.codeInsight.ExternalAnnotationsManager;
+import com.intellij.codeInsight.daemon.DaemonCodeAnalyzer;
 import com.intellij.codeInsight.intention.AddAnnotationPsiFix;
 import com.intellij.codeInsight.intention.impl.BaseIntentionAction;
 import com.intellij.openapi.application.AccessToken;
@@ -114,6 +115,7 @@ public class EditContractIntention extends BaseIntentionAction {
     finally {
       token.finish();
     }
+    DaemonCodeAnalyzer.getInstance(project).restart();
   }
 
   @Override