}
StateGraph<State, Label> createGraph() {
// create the editor
StateFactory factory = StateFactory.getInstance();
StateGraph<State, Label> empty = factory.emptyStateGraph();
StateGraphEditor<State, Label> editor = empty.newEditor();
// define the graph
editor.addTransition(State.constructed, Label.init, State.initialized);
editor.addTransition(State.initialized, Label.start, State.started);
editor.addTransition(State.started, Label.stop, State.initialized);