[patch] java.security.Permission

[Jerry Quinn]

This fixes a java.io.FilePermission.simple failure in mauve.  I don't
know if it's right, but it seems reasonable.

2004-06-07  Jerry Quinn  <jlquinn@optonline.net>

	* java/security/Permission.java (Permission): Reject null
        name.


--- Permission.java.~1.5.~	2002-05-24 07:57:19.000000000 -0400
+++ Permission.java	2004-06-07 01:12:19.000000000 -0400
@@ -88,6 +88,8 @@
    */
   public Permission(String name)
   {
+    if (name == null)
+      throw new NullPointerException();
     this.name = name;
   }