public Transition addTransition(State destination, String description)
void addTransition(Transition transition)
    public Transition addTransition(State destination,                                    String description)    {        return addTransition( destination,                              null,                              description );    }