digraph doWhileTrue {

    node [shape=record]
    doWhileTruee [shape=circle,label="e",xlabel="doWhileTrue"]
    doWhileTruee [shape=circle,label="e",xlabel="doWhileTrue"]
    doWhileTruebb0 [label="0|{0:	 // label|1:	 // line number information|2:	 // stack frame map|3:	IINC 1 1|4:	 // label|5:	 // line number information|6:	GOTO 0}"]

    doWhileTruee -> doWhileTruebb0
    doWhileTruebb0 -> doWhileTruebb0 [label="T"]
}