executioner property

Executioner executioner
getter/setter pair

Implementation

late Executioner executioner;