src/java.base/share/classes/java/security/Policy.java
changeset 58659 4113f16d5109
parent 58242 94bb65cb37d3
child 58679 9c3209ff7550
--- a/src/java.base/share/classes/java/security/Policy.java	Thu Oct 17 02:49:14 2019 +0200
+++ b/src/java.base/share/classes/java/security/Policy.java	Wed Oct 16 18:47:11 2019 -0700
@@ -837,7 +837,7 @@
          *
          * @param permission the Permission object to add.
          *
-         * @throws    SecurityException - if this PermissionCollection object
+         * @throws    SecurityException   if this PermissionCollection object
          *                                has been marked readonly
          */
         @Override public void add(Permission permission) {