anchor.diff:        '';
       };
   
  -    httpPort = mkOption {
  -      type = types.int;
  -      default = 8080;
  -      description = ''
  -	Marathon listening port for HTTP connections.
  -      '';
  -    };
  -
       master = mkOption {
         type = types.str;
         default = "zk://${concatStringsSep "," cfg.zookeeperHosts}/mesos";
  
positive.code:       example = [ "1.2.3.4:2181" "2.3.4.5:2181" "3.4.5.6:2181" ];
        description = ''
  	ZooKeeper hosts' addresses.
        '';
      };
  
  
negative.code: 
        serviceConfig = {
          ExecStart = "${pkgs.marathon}/bin/marathon --master ${cfg.master} --zk zk://${concatStringsSep "," cfg.zookeeperHosts}/marathon --http_port ${toString cfg.httpPort} ${concatStringsSep " " cfg.extraCmdLineOptions}";
          User = cfg.user;
          Restart = "always";
          RestartSec = "2";
        };
      };
  
      users.extraUsers.${cfg.user} = { };
    };
  }
  