jdk/src/java.base/share/classes/java/security/PermissionCollection.java
changeset 35302 e4d2275861c3
parent 31469 92cc72d2a11a
child 45434 4582657c7260
--- a/jdk/src/java.base/share/classes/java/security/PermissionCollection.java	Wed Jan 20 09:21:57 2016 -0800
+++ b/jdk/src/java.base/share/classes/java/security/PermissionCollection.java	Wed Jan 20 11:02:36 2016 -0800
@@ -144,7 +144,7 @@
      * the enumeration returned from a call to {@link #elements()}.
      *
      * @return a stream of all the Permissions.
-     * @since 1.9
+     * @since 9
      */
     public Stream<Permission> elementsAsStream() {
         int characteristics = isReadOnly()