From d6f6990fc3aa574bb51bda9e36b4ee4cb4be13a3 Mon Sep 17 00:00:00 2001
From: Tagir Valeev <Tagir.Valeev@jetbrains.com>
Date: Tue, 8 Sep 2020 10:42:54 +0700
Subject: [PATCH] Remove erroneous external annotation

GitOrigin-RevId: 5dc6b1656abc52e49916be810ff784942b29e5d0
---
 java/jdkAnnotations/com/intellij/util/ui/annotations.xml  | 8 --------
 .../header/titleLabel/ClippingTitle.kt                    | 2 ++
 2 files changed, 2 insertions(+), 8 deletions(-)
 delete mode 100644 java/jdkAnnotations/com/intellij/util/ui/annotations.xml

diff --git a/java/jdkAnnotations/com/intellij/util/ui/annotations.xml b/java/jdkAnnotations/com/intellij/util/ui/annotations.xml
deleted file mode 100644
index 67e9e1bb29d4..000000000000
--- a/java/jdkAnnotations/com/intellij/util/ui/annotations.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<root>
-  <item
-    name='com.intellij.util.ui.UIUtilities java.lang.String clipString(javax.swing.JComponent, java.awt.FontMetrics, java.lang.String, int)'>
-    <annotation name='org.jetbrains.annotations.Contract'>
-      <val name="pure" val="true"/>
-    </annotation>
-  </item>
-</root>
diff --git a/platform/platform-impl/src/com/intellij/openapi/wm/impl/customFrameDecorations/header/titleLabel/ClippingTitle.kt b/platform/platform-impl/src/com/intellij/openapi/wm/impl/customFrameDecorations/header/titleLabel/ClippingTitle.kt
index a413ce5abe66..2195d0011caf 100644
--- a/platform/platform-impl/src/com/intellij/openapi/wm/impl/customFrameDecorations/header/titleLabel/ClippingTitle.kt
+++ b/platform/platform-impl/src/com/intellij/openapi/wm/impl/customFrameDecorations/header/titleLabel/ClippingTitle.kt
@@ -3,6 +3,7 @@
 
 package com.intellij.openapi.wm.impl.customFrameDecorations.header.titleLabel
 
+import org.jetbrains.annotations.Contract
 import sun.swing.SwingUtilities2
 import java.awt.FontMetrics
 import java.io.File
@@ -12,6 +13,7 @@ open class ClippingTitle(prefix: String = " - ", suffix: String = "") : DefaultP
   companion object {
     const val ellipsisSymbol = "\u2026"
 
+    @Contract(pure = true)
     fun clipString(component: JComponent, string: String, maxWidth: Int, fileSeparatorChar: String = File.separator): String {
       val fm = component.getFontMetrics(component.font)
       val symbolWidth = SwingUtilities2.stringWidth(component, fm, ellipsisSymbol)