From 671679641ddf46aa18d4428f643f7b7256ac539c Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Thu, 20 Sep 2012 20:31:45 +0400
Subject: [PATCH] Annotations for java.util.Timer

---
 jdk-annotations/java/util/annotations.xml | 34 +++++++++++++++++++++++
 1 file changed, 34 insertions(+)

diff --git a/jdk-annotations/java/util/annotations.xml b/jdk-annotations/java/util/annotations.xml
index fe4cdb61e10..ac82a92edde 100644
--- a/jdk-annotations/java/util/annotations.xml
+++ b/jdk-annotations/java/util/annotations.xml
@@ -767,4 +767,38 @@
             <val name="value" val="&quot;fun sort(a : Array&lt;out Any?&gt;) : Unit&quot;"/>
         </annotation>
     </item>
+  <!-- java.util.Timer -->
+  <item name='java.util.Timer Timer(java.lang.String, boolean) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.Timer void schedule(java.util.TimerTask, long) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.Timer void schedule(java.util.TimerTask, java.util.Date) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.Timer void schedule(java.util.TimerTask, java.util.Date) 1'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.Timer void schedule(java.util.TimerTask, long, long) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.Timer void schedule(java.util.TimerTask, java.util.Date, long) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.Timer void schedule(java.util.TimerTask, java.util.Date, long) 1'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.Timer void scheduleAtFixedRate(java.util.TimerTask, long, long) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.Timer void scheduleAtFixedRate(java.util.TimerTask, java.util.Date, long) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.Timer void scheduleAtFixedRate(java.util.TimerTask, java.util.Date, long) 1'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.Timer void sched(java.util.TimerTask, long, long) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
 </root>