From f0b2c3d9a0700bc632f226f2cc2637939b90b6c3 Mon Sep 17 00:00:00 2001
From: Vladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Date: Thu, 13 Feb 2014 14:09:16 +0100
Subject: [PATCH] overrides

---
 .../src/com/intellij/ui/components/JBScrollPane.java             | 1 +
 1 file changed, 1 insertion(+)

diff --git a/platform/platform-api/src/com/intellij/ui/components/JBScrollPane.java b/platform/platform-api/src/com/intellij/ui/components/JBScrollPane.java
index 9d760cc163e7..5b9d1da4baad 100644
--- a/platform/platform-api/src/com/intellij/ui/components/JBScrollPane.java
+++ b/platform/platform-api/src/com/intellij/ui/components/JBScrollPane.java
@@ -65,6 +65,7 @@ public class JBScrollPane extends JScrollPane {
     setCorner(LOWER_LEFT_CORNER, new Corner(LOWER_LEFT_CORNER));
   }
 
+  @Override
   public void setUI(ScrollPaneUI ui) {
     super.setUI(ui);
     updateViewportBorder();