* fixed warning about unused private member in ExecutionTime class