Control Flow Graph Java