In addition, FindBugs is good in finding the infinite loops (but not infinite recursions). GF is analyzed (statically, of course) heavily using FindBugs, so I don't suspect an infinite loop in [b]GlassFish code[/b].
-Kedar
[Message sent by forum member 'km' (km)]
http://forums.java.net/jive/thread.jspa?messageID=316833