/AcceptLabel.java/1.1/Thu Aug 22 23:06:16 2002//
/Alphabet.java/1.5/Wed Nov 13 18:05:04 2002//
/CallLabel.java/1.1/Thu Aug 22 23:06:16 2002//
/CommunicationLabel.java/1.1/Thu Aug 22 23:06:16 2002//
/ConnectLabel.java/1.1/Thu Aug 22 23:06:17 2002//
/ExceptionLabel.java/1.1/Wed Sep 18 20:09:52 2002//
/Label.java/1.3/Wed Sep 18 20:09:52 2002//
/LocalLabel.java/1.1/Thu Aug 22 23:06:17 2002//
/NamedLocalLabel.java/1.1/Thu Aug 22 23:06:17 2002//
/Rendezvous.java/1.2/Tue Aug 27 19:54:41 2002//
/Task.java/1.1/Thu Aug 22 23:06:17 2002//
/TerminationLabel.java/1.1/Tue Sep  3 21:20:23 2002//
/UnnamedLocalLabel.java/1.1/Thu Aug 22 23:06:17 2002//
D
