-server is a parameter option of com.google.gwt.dev.DevMode. GWTShell is deprecated.
Hi Christian, thanks for the quick response. Yes, this fixed the problem. Though the doc (https://community.jboss.org/wiki/WorkingwithGWTCDIandErrai) probably should mention that we need to use DevMode (Google -> Web Application -> "This project has a WAR directory") . At least in my env, GWTShell is the default configuration.