/MachineEvent.java/1.2/Fri Apr  6 14:39:32 2001//
/StateEvent.java/1.2/Fri Apr  6 14:39:32 2001//
/MachineListener.java/1.3/Sat Dec  1 02:03:23 2001//
/StateListener.java/1.3/Sat Dec  1 02:03:05 2001//
D
