jdk/src/java.security.jgss/share/classes/javax/security/auth/kerberos/ServicePermission.java
changeset 31538 0981099a3e54
parent 31080 00a25f4c4d44
child 32424 2d9d66d0519f
--- a/jdk/src/java.security.jgss/share/classes/javax/security/auth/kerberos/ServicePermission.java	Wed Jul 08 21:54:32 2015 -0400
+++ b/jdk/src/java.security.jgss/share/classes/javax/security/auth/kerberos/ServicePermission.java	Thu Jul 09 10:37:07 2015 +0300
@@ -427,7 +427,7 @@
 
 
     /*
-      public static void main(String args[]) throws Exception {
+      public static void main(String[] args) throws Exception {
       ServicePermission this_ =
       new ServicePermission(args[0], "accept");
       ServicePermission that_ =