LG, but having removed all the of the public API delegation makes me slightly nervous. You're sure this is ok? If those calls are no-ops in web mode, you could explicitly model it that way instead of letting client code get access to the server log manager super.
http://gwt-code-reviews.appspot.com/437801/diff/12002/22003 File /dev/core/src/com/google/gwt/dev/shell/DevModeLogManager.java (right): http://gwt-code-reviews.appspot.com/437801/diff/12002/22003#newcode45 /dev/core/src/com/google/gwt/dev/shell/DevModeLogManager.java:45: "Warning! It looks like your server sets the " + Suggest "[WARN] ignoring user-specified value '<their logger>' for java.util.logging.manager" http://gwt-code-reviews.appspot.com/437801/show -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
