defaultGroundExtensionFactory: GroundExtensionFactory = ...

The default GroundExtension factory that will be used whenever a GroundExtension needs to be created.