digraph ndfaminimizedClientDBjavaContactEditor {
 rankdir = LR ;
 startstate0 [shape=circle , label=startstate0 ,color=black];
 state1state2state2 [shape=circle , label=state1state2state2 ,color=black];
 state1state2 [shape=circle , label=state1state2 ,color=black];
 closeend [shape=circle , label=closeend ,color=black];
 
 startstate0 [shape=circle , label= startstate0, color=green];
 
 
 closeend [shape=doublecircle , color=red];
 startstate0 -> state1state2state2 [label = "\"init/condInit1/[9,10,11,12,13,14,15,16,17]\""];
 startstate0 -> state1state2 [label = "\"init/condInit2/[18,19,11,12,13,14,15,16,17]\""];
 
 
 state1state2state2 -> state1state2state2 [label = "\"Add/cond1/[1,2]\",\"Edit/cond2/[]\",\"Remove/cond4/[5,6]\""];
 state1state2state2 -> closeend [label = "\"Cancel/cond5/[7]\",\"Ok/cond6/[8]\""];
 state1state2state2 -> state1state2 [label = "\"Remove/cond3/[3,4]\""];
 
 state1state2 -> state1state2state2 [label = "\"Add/cond1/[1,2]\""];
 state1state2 -> closeend [label = "\"Cancel/cond5/[7]\",\"Ok/cond6/[8]\""];
 
 
 node [shape=none, lavel=initialState, style = invis];
_newStatestartstate0 -> startstate0[color = green];
 
}