Added ManualTimer and setters of config and timer in Generator.php