Groveman top-level property

_Groveman Groveman
final

Implementation

final Groveman = _Groveman();