/DotManager.java/1.1/Mon Jan 24 15:01:34 2005//
/HazardManager.java/1.2/Fri Jan 28 12:41:45 2005//
/Help.java/1.1/Mon Jan 24 15:01:34 2005//
/NumCompManager.java/1.5/Fri Jan 28 12:18:45 2005//
