From af67ab21c9dd73ff7c34c9d02fcaba00c4919829 Mon Sep 17 00:00:00 2001 From: peter Date: Wed, 16 Mar 2016 10:34:08 +0100 Subject: [PATCH] add more external annotations for java.io.File.list* (IDEA-153062) --- java/jdkAnnotations/java/io/annotations.xml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/java/jdkAnnotations/java/io/annotations.xml b/java/jdkAnnotations/java/io/annotations.xml index 53a61f72e732..4b2e10b66e2b 100644 --- a/java/jdkAnnotations/java/io/annotations.xml +++ b/java/jdkAnnotations/java/io/annotations.xml @@ -122,6 +122,18 @@ + + + + + + + + + + + + @@ -134,6 +146,15 @@ + + + + + + + + +