Boilerplate which avoids having to use generics. Instead of Property<Restart>, use RestartProperty.
Property<Restart>
RestartProperty
Returns a read-only view of this mutable RestartProperty. Typical usage :