/DisplayManager.java/1.8/Fri Sep  6 07:51:33 2002//
/GraphicalViewComponent.java/1.1/Wed Dec 11 17:48:16 2002//
/PropertyView.java/1.2/Thu May  2 10:18:34 2002//
/SwingComponent.java/1.2/Fri Sep 20 16:51:28 2002//
/View.java/1.4/Thu Aug  8 15:43:18 2002//
D/awt////
D/graphical////
D/servlet////
D/swing////
D/util////
