@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; }