/SimpleNym.java/1.10/Sun Jun 17 09:37:30 2001//
/SimpleNymBuilder.java/1.11/Sun Jun 17 09:37:30 2001//
/SimpleNymFunctionProxy.java/1.10/Sun Jun 17 09:37:30 2001//
D
