JCasC will attempt to export defaultProperties, and if users than tries to roundtrip the configuration, it will say no attribute is available for defaultProperties which has no setter.
The method is for form binding, so best to mark this as restricted.
Signaling to JCasC export it should not be exported, and no one should override it.