>Compared to redeploying an entire Tomcat/Jetty app, this is several orders of magnitude better.
It is? Are you building a war/ear and copying it to a server to deploy or something? I think every java IDE has support for locally building and deploying within the IDE, which is no slower than play's reloading.