From adfd85ab1367557757e216c56bf138b5136db5ce Mon Sep 17 00:00:00 2001
From: Alexey Kudravtsev <cdr@intellij.com>
Date: Wed, 25 Jun 2014 20:35:46 +0400
Subject: [PATCH] cleanup

---
 .../src/com/intellij/util/xml/tree/DomModelTreeView.java        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xml/dom-openapi/src/com/intellij/util/xml/tree/DomModelTreeView.java b/xml/dom-openapi/src/com/intellij/util/xml/tree/DomModelTreeView.java
index 1935228d86eb..15c3de313d43 100644
--- a/xml/dom-openapi/src/com/intellij/util/xml/tree/DomModelTreeView.java
+++ b/xml/dom-openapi/src/com/intellij/util/xml/tree/DomModelTreeView.java
@@ -119,7 +119,7 @@ public class DomModelTreeView extends Wrapper implements DataProvider, Disposabl
     final Project project = myDomManager.getProject();
     DomElementAnnotationsManager.getInstance(project).addHighlightingListener(new DomElementAnnotationsManager.DomHighlightingListener() {
       @Override
-      public void highlightingFinished(DomFileElement element) {
+      public void highlightingFinished(@NotNull DomFileElement element) {
         if (element.isValid()) {
           queueUpdate(DomUtil.getFile(element).getVirtualFile());
         }