@TypeInfo("ceylon.language::Set<ceylon.language::String>") public ceylon.language.Set<ceylon.language.String> allowedOrigins( 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.Set<ceylon.language.String> ret = io.vertx.lang.ceylon.ToCeylon.convertSet( ceylon.language.String.$TypeDescriptor$, io.vertx.ext.auth.oauth2.KeycloakHelper.allowedOrigins(arg_0), io.vertx.lang.ceylon.ToCeylon.String); return ret; }