/AbstractTool.java/1.6/Tue Jan 20 13:41:26 2004//
/AbstractUndoableTool.java/1.2/Sat Aug  2 09:19:56 2003//
/EdgeBorder.java/1.3/Mon Nov  3 12:15:56 2003//
/NodeBorder.java/1.3/Mon Nov  3 12:15:56 2003//
/Tool.java/1.3/Mon Nov  3 12:15:56 2003//
