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