MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

external annotation for JDK class moved to 'jdkAnnotations'

Browse Source
This commit is contained in:
nik
2015-09-11 16:25:54 +03:00
parent d4a71ad0c5
commit 4b699bb586
2 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/nio/file/annotations.xml
+3
View File
@@ -197,6 +197,9 @@
<item name='java.nio.file.Files java.nio.file.Path write(java.nio.file.Path, java.lang.Iterable&lt;? extends java.lang.CharSequence&gt;, java.nio.charset.Charset, java.nio.file.OpenOption...) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.nio.file.attribute.FileTime getLastModifiedTime(java.nio.file.Path, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.nio.file.attribute.FileTime getLastModifiedTime(java.nio.file.Path, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
lib/java/nio/file/annotations.xml
-5
View File
@@ -1,5 +0,0 @@
<root>
<item name='java.nio.file.Files java.nio.file.attribute.FileTime getLastModifiedTime(java.nio.file.Path, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
</root>