digraph gr { rankdir = TD;
subgraph cluster {
color=lightgrey;
label = "Application ClientDBjava - Window ContactEditor - New window actions:[(11,ContactEditor)]";
state1 [shape=box , fillcolor=royalblue, style=filled label="state1" ,color=royalblue];
state2 [shape=box , fillcolor=royalblue, style=filled label="state2" ,color=royalblue];
init [shape=box , label="state 0", color=green2];
close [shape=doublecircle , label="close", color=red2];
start [shape=point , fillcolor=gray, style=filled, color=gray];
init -> state2 [color=green2, label= "init/condInit1/[9,10,11,12,13,14,15,16,17]"];
init -> state1 [color=green2, label= "init/condInit2/[18,19,11,12,13,14,15,16,17]"];
state1 -> state2 [color=royalblue, label= "Add/cond1/[1,2]"];
state1 -> close [color=red2, label= "Cancel/cond5/[7]"];
state1 -> close [color=red2, label= "Ok/cond6/[8]"];
state2 -> state2 [color=royalblue, label= "Add/cond1/[1,2]"];
state2 -> close [color=red2, label= "Cancel/cond5/[7]"];
state2 -> state2 [color=royalblue, label= "Edit/cond2/[]"];
state2 -> close [color=red2, label= "Ok/cond6/[8]"];
state2 -> state1 [color=royalblue, label= "Remove/cond3/[3,4]"];
state2 -> state2 [color=royalblue, label= "Remove/cond4/[5,6]"];
start -> init [color=gray];
}}