@Override
 public JsonElement view(PortalConfiguration configuration, JsonBuilder ctx) {
   final JsonObject view = super.view(configuration, ctx).getAsJsonObject();
   if (configuration.getMenu() != null) {
     view.add("menu", ctx.view(configuration.getMenu().getUserMenuStream()));
   }
   return view;
 }
 private Map<String, Object> makeAppWrapper() {
   HashMap<String, Object> result = new HashMap<String, Object>();
   PortalConfiguration configuration = PortalConfiguration.getInstance();
   result.put("title", configuration.getApplicationTitle());
   result.put("subtitle", configuration.getApplicationSubTitle());
   result.put("copyright", configuration.getApplicationCopyright());
   result.put("support", configuration.getSupportEmailAddress());
   result.put("locale", I18N.getLocale());
   result.put("supportedLocales", CoreConfiguration.supportedLocales());
   return result;
 }