Added dummy privilege manager classes.

1998-07-31 00:14:18 +00:00 · 1998-07-31 00:14:18 +00:00 · ed1a8f7d53
--- a/nav-java/stubs/classes/netscape/security/ForbiddenTargetException.java
+++ b/nav-java/stubs/classes/netscape/security/ForbiddenTargetException.java
--- a/nav-java/stubs/classes/netscape/security/ParameterizedStringTarget.java
+++ b/nav-java/stubs/classes/netscape/security/ParameterizedStringTarget.java
--- a/nav-java/stubs/classes/netscape/security/ParameterizedTarget.java
+++ b/nav-java/stubs/classes/netscape/security/ParameterizedTarget.java
--- a/nav-java/stubs/classes/netscape/security/Principal.java
+++ b/nav-java/stubs/classes/netscape/security/Principal.java
--- a/nav-java/stubs/classes/netscape/security/Privilege.java
+++ b/nav-java/stubs/classes/netscape/security/Privilege.java
--- a/nav-java/stubs/classes/netscape/security/PrivilegeManager.java
+++ b/nav-java/stubs/classes/netscape/security/PrivilegeManager.java
--- a/nav-java/stubs/classes/netscape/security/PrivilegeTable.java
+++ b/nav-java/stubs/classes/netscape/security/PrivilegeTable.java
--- a/nav-java/stubs/classes/netscape/security/Target.java
+++ b/nav-java/stubs/classes/netscape/security/Target.java
--- a/nav-java/stubs/classes/netscape/security/UserTarget.java
+++ b/nav-java/stubs/classes/netscape/security/UserTarget.java