無限ループはdo〜whileに展開されるわけじゃない

すんません、バイトコードのほうをちゃんと見るべきでした。
trueでの条件分岐は最適化で省略されるようです。
というわけでfor(;;)などは結局、無条件ループのバイトコードになるのですが、無条件ループに対応するJava命令がないので、jadはdo〜whileで表示しているだけということのようです。
詳しくはみずしまさんのブログで。
http://www.coins.tsukuba.ac.jp/~i021216/diary/?date=20070628