Add @DefaultFor and @AnnotatedFor to package-info in java.base. (openjdk#6)

There is no java package in Java 11, so remove package-info that was added.

Author: smillst

src/java.base/share/classes/java/io/package-info.java

@@ -46,4 +46,10 @@
  *
  * @since 1.0
  */
+@AnnotatedFor("nullness")
+@DefaultQualifier(value = KeyForBottom.class, locations = TypeUseLocation.LOWER_BOUND)
 package java.io;
+import  org.checkerframework.framework.qual.DefaultQualifier;
+import  org.checkerframework.framework.qual.TypeUseLocation;
+import  org.checkerframework.checker.nullness.qual.KeyForBottom;
+import org.checkerframework.framework.qual.AnnotatedFor;

src/java.base/share/classes/java/lang/package-info.java

@@ -68,4 +68,10 @@
  *
  * @since 1.0
  */
+@AnnotatedFor("nullness")
+@DefaultQualifier(value = KeyForBottom.class, locations = TypeUseLocation.LOWER_BOUND)
 package java.lang;
+import  org.checkerframework.framework.qual.DefaultQualifier;
+import  org.checkerframework.framework.qual.TypeUseLocation;
+import  org.checkerframework.checker.nullness.qual.KeyForBottom;
+import org.checkerframework.framework.qual.AnnotatedFor;

src/java.base/share/classes/java/math/package-info.java

@@ -42,4 +42,10 @@
  *
  * @since 1.1
  */
+@AnnotatedFor("nullness")
+@DefaultQualifier(value = KeyForBottom.class, locations = TypeUseLocation.LOWER_BOUND)
 package java.math;
+import  org.checkerframework.framework.qual.DefaultQualifier;
+import  org.checkerframework.framework.qual.TypeUseLocation;
+import  org.checkerframework.checker.nullness.qual.KeyForBottom;
+import org.checkerframework.framework.qual.AnnotatedFor;

src/java.base/share/classes/java/net/package-info.java

@@ -157,4 +157,10 @@
  *
  * @since 1.0
  */
+@AnnotatedFor("nullness")
+@DefaultQualifier(value = KeyForBottom.class, locations = TypeUseLocation.LOWER_BOUND)
 package java.net;
+import  org.checkerframework.framework.qual.DefaultQualifier;
+import  org.checkerframework.framework.qual.TypeUseLocation;
+import  org.checkerframework.checker.nullness.qual.KeyForBottom;
+import org.checkerframework.framework.qual.AnnotatedFor;

src/java.base/share/classes/java/nio/package-info.java

@@ -152,4 +152,10 @@
  * @author Mark Reinhold
  * @author JSR-51 Expert Group
  */
+@AnnotatedFor("nullness")
+@DefaultQualifier(value = KeyForBottom.class, locations = TypeUseLocation.LOWER_BOUND)
 package java.nio;
+import  org.checkerframework.framework.qual.DefaultQualifier;
+import  org.checkerframework.framework.qual.TypeUseLocation;
+import  org.checkerframework.checker.nullness.qual.KeyForBottom;
+import org.checkerframework.framework.qual.AnnotatedFor;

src/java.base/share/classes/java/package-info.java

@@ -81,4 +81,10 @@
  *
  * @since 1.1
  */
+@AnnotatedFor("nullness")
+@DefaultQualifier(value = KeyForBottom.class, locations = TypeUseLocation.LOWER_BOUND)
 package java.security;
+import  org.checkerframework.framework.qual.DefaultQualifier;
+import  org.checkerframework.framework.qual.TypeUseLocation;
+import  org.checkerframework.checker.nullness.qual.KeyForBottom;
+import org.checkerframework.framework.qual.AnnotatedFor;

src/java.base/share/classes/java/security/package-info.java

@@ -44,4 +44,11 @@
  *
  * @since 1.1
  */
+@AnnotatedFor("nullness")
+@DefaultQualifier(value = KeyForBottom.class, locations = TypeUseLocation.LOWER_BOUND)
 package java.text;
+
+import  org.checkerframework.framework.qual.DefaultQualifier;
+import  org.checkerframework.framework.qual.TypeUseLocation;
+import  org.checkerframework.checker.nullness.qual.KeyForBottom;
+import org.checkerframework.framework.qual.AnnotatedFor;

src/java.base/share/classes/java/text/package-info.java

@@ -285,4 +285,11 @@
  *
  * @since 1.8
  */
+@AnnotatedFor("nullness")
+@DefaultQualifier(value = KeyForBottom.class, locations = TypeUseLocation.LOWER_BOUND)
 package java.time;
+
+import  org.checkerframework.framework.qual.DefaultQualifier;
+import  org.checkerframework.framework.qual.TypeUseLocation;
+import  org.checkerframework.checker.nullness.qual.KeyForBottom;
+import org.checkerframework.framework.qual.AnnotatedFor;

src/java.base/share/classes/java/time/package-info.java

@@ -46,4 +46,10 @@
  *
  * @since 1.0
  */
+@AnnotatedFor("nullness")
+@DefaultQualifier(value = KeyForBottom.class, locations = TypeUseLocation.LOWER_BOUND)
 package java.util;
+import  org.checkerframework.framework.qual.DefaultQualifier;
+import  org.checkerframework.framework.qual.TypeUseLocation;
+import  org.checkerframework.checker.nullness.qual.KeyForBottom;
+import org.checkerframework.framework.qual.AnnotatedFor;