Program: 76761
Project: 76761
Buggy source:
public Set<Doclet.Option> getSupportedOptions(){
  Resources resources=getResources();
  Doclet.Option[] options={new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      showauthor=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      destDirName=addTrailingFileSep(args.get(0));
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      docencoding=args.get(0);
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      copydocfilesubdirs=true;
      return true;
    }
  }
,new Hidden(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      encoding=args.get(0);
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      addToSet(excludedDocFileDirs,args.get(0));
      return true;
    }
  }
,new Option(resources,"String_Node_Str",2){
    @Override public boolean process(    String opt,    List<String> args){
      groupPairs.add(new Pair<>(args.get(0),args.get(1)));
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      javafx=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      keywords=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      linkList.add(args.get(0));
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      linksource=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str",2){
    @Override public boolean process(    String opt,    List<String> args){
      linkOfflineList.add(new Pair<>(args.get(0),args.get(1)));
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      nocomment=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      nodeprecated=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      nosince=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      notimestamp=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      addToSet(excludedQualifiers,args.get(0));
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      String o=args.get(0);
switch (o) {
case "String_Node_Str":
        summarizeOverriddenMethods=true;
      break;
case "String_Node_Str":
    summarizeOverriddenMethods=false;
  break;
default :
reporter.print(ERROR,getText("String_Node_Str",o,"String_Node_Str"));
return false;
}
return true;
}
}
,new Hidden(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
quiet=true;
return true;
}
}
,new Option(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
serialwarn=true;
return true;
}
}
,new Option(resources,"String_Node_Str",1){
@Override public boolean process(String opt,List<String> args){
linksource=true;
try {
setTabWidth(Integer.parseInt(args.get(0)));
}
 catch (NumberFormatException e) {
sourcetab=-1;
}
if (sourcetab <= 0) {
getMessages().warning("String_Node_Str");
setTabWidth(DocletConstants.DEFAULT_TAB_STOP_LENGTH);
}
return true;
}
}
,new Option(resources,"String_Node_Str",1){
@Override public boolean process(String opt,List<String> args){
ArrayList<String> list=new ArrayList<>();
list.add(opt);
list.add(args.get(0));
customTagStrs.add(list);
return true;
}
}
,new Option(resources,"String_Node_Str",1){
@Override public boolean process(String opt,List<String> args){
ArrayList<String> list=new ArrayList<>();
list.add(opt);
list.add(args.get(0));
customTagStrs.add(list);
return true;
}
}
,new Option(resources,"String_Node_Str",1){
@Override public boolean process(String opt,List<String> args){
tagletpath=args.get(0);
return true;
}
}
,new Option(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
showversion=true;
return true;
}
}
,new Hidden(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
dumpOnError=true;
return true;
}
}
,new Option(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
allowScriptInComments=true;
return true;
}
}
,new Hidden(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
disableJavaFxStrictChecks=true;
return true;
}
}
};
Set<Doclet.Option> set=new TreeSet<>();
set.addAll(Arrays.asList(options));
return set;
}

Fixed version (ground truth):
public Set<Doclet.Option> getSupportedOptions(){
  Resources resources=getResources();
  Doclet.Option[] options={new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      showauthor=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      destDirName=addTrailingFileSep(args.get(0));
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      docencoding=args.get(0);
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      copydocfilesubdirs=true;
      return true;
    }
  }
,new Hidden(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      encoding=args.get(0);
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      addToSet(excludedDocFileDirs,args.get(0));
      return true;
    }
  }
,new Option(resources,"String_Node_Str",2){
    @Override public boolean process(    String opt,    List<String> args){
      groupPairs.add(new Pair<>(args.get(0),args.get(1)));
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      javafx=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      keywords=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      linkList.add(args.get(0));
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      linksource=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str",2){
    @Override public boolean process(    String opt,    List<String> args){
      linkOfflineList.add(new Pair<>(args.get(0),args.get(1)));
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      nocomment=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      nodeprecated=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      nosince=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str"){
    @Override public boolean process(    String opt,    List<String> args){
      notimestamp=true;
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      addToSet(excludedQualifiers,args.get(0));
      return true;
    }
  }
,new Option(resources,"String_Node_Str",1){
    @Override public boolean process(    String opt,    List<String> args){
      String o=args.get(0);
switch (o) {
case "String_Node_Str":
        summarizeOverriddenMethods=true;
      break;
case "String_Node_Str":
    summarizeOverriddenMethods=false;
  break;
default :
reporter.print(ERROR,getText("String_Node_Str",o,"String_Node_Str"));
return false;
}
return true;
}
}
,new Hidden(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
quiet=true;
return true;
}
}
,new Option(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
serialwarn=true;
return true;
}
}
,new Option(resources,"String_Node_Str",1){
@Override public boolean process(String opt,List<String> args){
linksource=true;
try {
setTabWidth(Integer.parseInt(args.get(0)));
}
 catch (NumberFormatException e) {
sourcetab=-1;
}
if (sourcetab <= 0) {
getMessages().warning("String_Node_Str");
setTabWidth(DocletConstants.DEFAULT_TAB_STOP_LENGTH);
}
return true;
}
}
,new Option(resources,"String_Node_Str",1){
@Override public boolean process(String opt,List<String> args){
ArrayList<String> list=new ArrayList<>();
list.add(opt);
list.add(args.get(0));
customTagStrs.add(list);
return true;
}
}
,new Option(resources,"String_Node_Str",1){
@Override public boolean process(String opt,List<String> args){
ArrayList<String> list=new ArrayList<>();
list.add(opt);
list.add(args.get(0));
customTagStrs.add(list);
return true;
}
}
,new Option(resources,"String_Node_Str",1){
@Override public boolean process(String opt,List<String> args){
tagletpath=args.get(0);
return true;
}
}
,new Option(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
showversion=true;
return true;
}
}
,new Hidden(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
dumpOnError=true;
return true;
}
}
,new Option(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
allowScriptInComments=true;
return true;
}
}
,new Hidden(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
disableJavaFxStrictChecks=true;
return true;
}
}
,new Hidden(resources,"String_Node_Str"){
@Override public boolean process(String opt,List<String> args){
showTaglets=true;
return true;
}
}
};
Set<Doclet.Option> set=new TreeSet<>();
set.addAll(Arrays.asList(options));
return set;
}