Reviewers: scottb, Description: These are the changes necessary to upgrade to Jetty 7.0.2, which among other things includes WebSocket support.
Reitveld is useless for the tools update, but you can imagine from the .classpath file. Please review this at http://gwt-code-reviews.appspot.com/306803/show Affected files: dev/core/src/com/google/gwt/dev/shell/jetty/JettyLauncher.java dev/core/src/com/google/gwt/dev/shell/jetty/JettyNullLogger.java eclipse/dev/.classpath -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
