digraph whileMethod {

    node [shape=record]
    "whileMethodbb-1" [shape=circle,label="e",xlabel="whileMethod"]
    "whileMethodbb-2" [shape=circle,label="x"]
    "whileMethodbb0" [label="0|{0:	 // label|1:	 // line number information|2:	ICONST_0 |3:	ISTORE 2}"]
    "whileMethodbb4" [label="4|{4:	 // label|5:	 // line number information|6:	 // stack frame map|7:	ILOAD 1|8:	IFLE 19}"]
    "whileMethodbb9" [label="9|{9:	 // label|10:	 // line number information|11:	ILOAD 2|12:	ILOAD 1|13:	IADD |14:	ISTORE 2|15:	 // label|16:	 // line number information|17:	IINC 1 -1|18:	GOTO 4}"]
    "whileMethodbb19" [label="19|{19:	 // label|20:	 // line number information|21:	 // stack frame map|22:	ILOAD 2|23:	IRETURN }"]

    "whileMethodbb-1" -> "whileMethodbb0"
    "whileMethodbb0" -> "whileMethodbb4"
    "whileMethodbb4" -> "whileMethodbb9"
    "whileMethodbb19" -> "whileMethodbb-2"
    "whileMethodbb9" -> "whileMethodbb4" [label="T"]
    "whileMethodbb4" -> "whileMethodbb19" [label="T"]
}