Thanks for the review; updated as per your comments.
http://gwt-code-reviews.appspot.com/1149801/diff/1/3
File dev/core/src/com/google/gwt/dev/shell/remoteui/RemoteUI.java
(right):
http://gwt-code-reviews.appspot.com/1149801/diff/1/3#newcode139
http://gwt-code-reviews.appspot.com/1149801/show
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors
Mostly LG, one question.
http://gwt-code-reviews.appspot.com/1149801/diff/1/3
File dev/core/src/com/google/gwt/dev/shell/remoteui/RemoteUI.java
(right):
http://gwt-code-reviews.appspot.com/1149801/diff/1/3#newcode139
dev/core/src/com/google/gwt/dev/shell/remoteui/RemoteUI.java:139: An