/LockManager.java/1.1.1.1/Sun Oct 29 15:17:57 2000//
/NamespaceManager.java/1.1.1.1/Sun Oct 29 15:17:58 2000//
/PropertiesManager.java/1.1.1.1/Sun Oct 29 15:17:59 2000//
D
