Index: gnu/testlet/java/awt/AWTPermission/constructor.java
===================================================================
RCS file: gnu/testlet/java/awt/AWTPermission/constructor.java
diff -N gnu/testlet/java/awt/AWTPermission/constructor.java
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ gnu/testlet/java/awt/AWTPermission/constructor.java	9 Jan 2007 15:35:59 -0000
@@ -0,0 +1,66 @@
+/* constructor.java 
+   Copyright (C) 2007 Red Hat
+This file is part of Mauve.
+
+Mauve is free software; you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation; either version 2, or (at your option)
+any later version.
+
+Mauve is distributed in the hope that it will be useful, but
+WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with Mauve; see the file COPYING.  If not, write to the
+Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+02110-1301 USA.
+
+*/
+
+// Tags: JDK1.4
+
+package gnu.testlet.java.awt.AWTPermission;
+
+import java.awt.AWTPermission;
+
+import gnu.testlet.TestHarness;
+import gnu.testlet.Testlet;
+
+public class constructor implements Testlet
+{
+
+  public void test(TestHarness harness)
+  {
+    AWTPermission permission = new AWTPermission("String");
+    harness.check(permission.getActions(), "");
+    harness.check(permission.getName(), "String");
+    harness.check(permission.toString(), "(java.awt.AWTPermission String)");
+    
+    // String cannot be the empty string.
+    boolean fail = false;
+    try
+      {
+        permission = new AWTPermission("");
+      }
+    catch (IllegalArgumentException e)
+      {
+        fail = true;
+      }
+    harness.check(fail);
+    
+    // Name cannot be null.
+    fail = false;
+    try
+      {
+        permission = new AWTPermission(null);
+      }
+    catch (NullPointerException e)
+      {
+        fail = true;
+      }
+    harness.check(fail);
+  }
+
+}