From 5276e8e9ed27ab38e479a43618e10f266ab42815 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Thu, 20 Sep 2012 20:33:40 +0400
Subject: [PATCH] Annotations for java.util.Random

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

diff --git a/jdk-annotations/java/util/annotations.xml b/jdk-annotations/java/util/annotations.xml
index ac82a92edde..2336bacc8ee 100644
--- a/jdk-annotations/java/util/annotations.xml
+++ b/jdk-annotations/java/util/annotations.xml
@@ -801,4 +801,8 @@
   <item name='java.util.Timer void sched(java.util.TimerTask, long, long) 0'>
       <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <!-- java.util.Random -->
+  <item name='java.util.Random void nextBytes(byte[]) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
 </root>