bodyEl.addStyleName("ext-mac");
} else if (isLinux) {
bodyEl.addStyleName("ext-linux");
}
CookieProvider provider = new CookieProvider("/", null, null, false);
StateManager.get().setProvider(provider);
Map<String, Object> theme = StateManager.get().getMap(GWT.getModuleBaseURL() + "theme");
if ((defaultTheme != null && forceTheme) || (theme == null && defaultTheme != null)) {
theme = defaultTheme.asMap();