From d258c37a6990c1d5ced55fd5e95ac775c47cfea9 Mon Sep 17 00:00:00 2001
From: Bas Leijdekkers <basleijdekkers@gmail.com>
Date: Thu, 30 Jan 2014 13:23:34 +0100
Subject: [PATCH] String.format annotation

---
 java/jdkAnnotations/java/lang/annotations.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/java/jdkAnnotations/java/lang/annotations.xml b/java/jdkAnnotations/java/lang/annotations.xml
index 50e716ada8de..cf2eac34d518 100644
--- a/java/jdkAnnotations/java/lang/annotations.xml
+++ b/java/jdkAnnotations/java/lang/annotations.xml
@@ -231,6 +231,9 @@
   <item name="java.lang.String java.lang.String format(java.lang.String, java.lang.Object...) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.lang.String java.lang.String format(java.util.Locale, java.lang.String, java.lang.Object...) 1'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name="java.lang.String java.lang.String intern()">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>