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