anchor.diff:        extraOptions = mkOption {
           type = types.listOf types.str;
           default = [ ];
  -        example = [ "--debug=9" "--httpListenAddress=localhost" ];
  +        example = [ "--debug=9" ];
           description = ''
             Additional command line arguments to pass to Jenkins.
           '';
  
positive.code:       '';
  
        script = ''
          ${pkgs.jdk}/bin/java -jar ${pkgs.jenkins} --httpPort=${toString cfg.port} ${concatStringsSep " " cfg.extraOptions}
        '';
  
        postStart = ''
          until ${pkgs.curl}/bin/curl -s -L localhost:${toString cfg.port} ; do
            sleep 10
          done
          while true ; do
            index=`${pkgs.curl}/bin/curl -s -L localhost:${toString cfg.port}`
            if [[ !("$index" =~ 'Please wait while Jenkins is restarting' ||
                    "$index" =~ 'Please wait while Jenkins is getting ready to work') ]]; then
              exit 0
  
negative.code:         '';
        };
  
        host = mkOption {
          default = "0.0.0.0";
          example = "localhost";
          type = types.str;
          description = ''
            Specifies the bind adress on which the jenkins HTTP interface listens.
            The default is the wildcard adress.
          '';
        };
  
        port = mkOption {
          default = 8080;
          type = types.int;
          description = ''
            Specifies port number on which the jenkins HTTP interface listens.
            The default is 8080.
          '';
        };
  
        prefix = mkOption {
          default = "";
          example = "/jenkins";
          type = types.str;
          description = ''
            Specifies a urlPrefix to use with jenkins.
            If the example /jenkins is given, the jenkins server will be
            accessible using localhost:8080/jenkins.
          '';
        };
  
  