Change of interface: ExecutionOptions now a class that is easily extendable with different kind of properties