Why's it different? As per spec, do-while is exactly the same as loop-body-once + while-do.