@TypeInfo("ceylon.language::String")
 public ceylon.language.String nickName(
     final @TypeInfo("ceylon.json::Object") @Name("principal") ceylon.json.Object principal) {
   io.vertx.core.json.JsonObject arg_0 =
       io.vertx.lang.ceylon.ToJava.JsonObject.safeConvert(principal);
   ceylon.language.String ret =
       io.vertx.lang.ceylon.ToCeylon.String.safeConvert(
           io.vertx.ext.auth.oauth2.KeycloakHelper.nickName(arg_0));
   return ret;
 }