From 582a1311bfb4c54312ed01f54cc1cc7d9396e51c Mon Sep 17 00:00:00 2001
From: Vladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Date: Mon, 25 Aug 2014 11:27:03 +0200
Subject: [PATCH] avoid warning "Warning:(168, 57) java: '_' used as an
 identifier  (use of '_' as an identifier might not be supported in releases
 after Java SE 8)"

---
 .../src/com/intellij/ui/EditorNotificationsImpl.java            | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/ui/EditorNotificationsImpl.java b/platform/platform-impl/src/com/intellij/ui/EditorNotificationsImpl.java
index 5721f4af4821..2197f7703769 100644
--- a/platform/platform-impl/src/com/intellij/ui/EditorNotificationsImpl.java
+++ b/platform/platform-impl/src/com/intellij/ui/EditorNotificationsImpl.java
@@ -165,7 +165,7 @@ public class EditorNotificationsImpl extends EditorNotifications {
       }
 
       @Override
-      public void onCanceled(@NotNull ProgressIndicator _) {
+      public void onCanceled(@NotNull ProgressIndicator ignored) {
         UIUtil.invokeLaterIfNeeded(new Runnable() {
           @Override
           public void run() {