public Builder enum_(@Nullable Output<List<JsonElement>> enum_) {
            $.enum_ = enum_;
            return this;
        }
@param default_ default is a default value for undefined object fields. Defaulting is a beta feature under the CustomResourceDefaulting feature gate. CustomResourceDefinitions with defaults must be created using the v1 (or newer) CustomResourceDefinition API.

@return builder
sdk/java/src/main/java/com/pulumi/kubernetes/apiextensions/v1beta1/inputs/JSONSchemaPropsArgs.java