Creates new instances of mapping/GroundExtension!GroundExtension.
Creates a mapping/GroundExtension!GroundExtension from the given properties.
The GroundExtension properties.
Creates new instances of mapping/GroundExtension!GroundExtension.