Reviewers: rdayal, jat,
Please review this at http://gwt-code-reviews.appspot.com/104810 Affected files: M dev/core/src/com/google/gwt/dev/DevMode.java M dev/core/src/com/google/gwt/dev/DevModeBase.java M dev/core/src/com/google/gwt/dev/shell/BrowserListener.java M dev/core/src/com/google/gwt/dev/shell/jetty/JettyLauncher.java M dev/core/src/com/google/gwt/dev/shell/remoteui/RemoteUI.java -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
