digraph forEver {

    node [shape=record]
    "forEverbb-1" [shape=circle,label="e",xlabel="forEver"]
    "forEverbb-2" [shape=circle,label="e",xlabel="forEver"]
    "forEverbb0" [label="0|{0:	 // label|1:	 // line number information|2:	ICONST_0 |3:	ISTORE 2}"]
    "forEverbb4" [label="4|{4:	 // label|5:	 // stack frame map|6:	IINC 2 1|7:	GOTO 4}"]

    "forEverbb-1" -> "forEverbb0"
    "forEverbb0" -> "forEverbb4"
    "forEverbb4" -> "forEverbb4" [label="T"]
}