Program: 93419
Project: 93419
Buggy source:
private ProviderUiJob printProposals(final ITypeName type){
  final ClassOverridePatterns directive=server.getClassOverridePatterns(type);
  if (directive == null) {
    return null;
  }
  final MethodPattern[] patterns=getPatternsSortedByFrequency(directive);
  final Integer numberOfSubclasses=computeTotalNumberOfSubclasses(patterns);
  final String text=String.format("String_Node_Str",numberOfSubclasses);
  final CommunityFeatures ratings=CommunityFeatures.create(type,null,this,server);
  return new ProviderUiJob(){
    @Override public void run(    final Composite composite){
      disposeChildren(composite);
      SwtFactory.createStyledText(composite,text,SWT.COLOR_BLACK,true);
      final Composite templates=SwtFactory.createGridComposite(composite,1,0,12,0,0);
      for (int i=0; i < Math.min(patterns.length,3); ++i) {
        final MethodPattern pattern=patterns[i];
        final int patternProbability=(int)(pattern.getNumberOfObservations() / numberOfSubclasses.doubleValue() * 100);
        String text2=String.format("String_Node_Str",i + 1,patternProbability,pattern.getNumberOfObservations());
        new TextAndFeaturesLine(templates,text2,ratings);
        final TableListing table=new TableListing(composite,4);
        final List<Entry<IMethodName,Double>> entries=getRecommendedMethodOverridesSortedByLikelihood(pattern);
        for (        final Entry<IMethodName,Double> entry : entries) {
          table.startNewRow();
          final IMethodName method=entry.getKey();
          text2="String_Node_Str" + method.getDeclaringType().getClassName() + "String_Node_Str"+ Names.vm2srcSimpleMethod(method);
          table.addLabelItem(text2,false,true,SWT.COLOR_BLACK);
          table.addLabelItem("String_Node_Str",false,false,SWT.COLOR_BLACK);
          table.addLabelItem(String.format("String_Node_Str",entry.getValue() * 100),false,false,SWT.COLOR_BLUE);
        }
      }
      ratings.loadCommentsComposite(composite);
    }
  }
;
}

Fixed version (ground truth):
private ProviderUiJob printProposals(final ITypeName type){
  final ClassOverridePatterns directive=server.getClassOverridePatterns(type);
  if (directive == null) {
    return null;
  }
  final MethodPattern[] patterns=getPatternsSortedByFrequency(directive);
  final Integer numberOfSubclasses=computeTotalNumberOfSubclasses(patterns);
  final String text=String.format("String_Node_Str",numberOfSubclasses);
  final CommunityFeatures ratings=CommunityFeatures.create(type,null,this,server);
  return new ProviderUiJob(){
    @Override public void run(    final Composite composite){
      disposeChildren(composite);
      SwtFactory.createStyledText(composite,text,SWT.COLOR_BLACK,true);
      final Composite templates=SwtFactory.createGridComposite(composite,1,0,12,0,0);
      for (int i=0; i < Math.min(patterns.length,3); ++i) {
        final MethodPattern pattern=patterns[i];
        final int patternProbability=(int)(pattern.getNumberOfObservations() / numberOfSubclasses.doubleValue() * 100);
        String text2=String.format("String_Node_Str",i + 1,patternProbability,pattern.getNumberOfObservations());
        new TextAndFeaturesLine(templates,text2,ratings);
        final TableListing table=new TableListing(templates,4);
        final List<Entry<IMethodName,Double>> entries=getRecommendedMethodOverridesSortedByLikelihood(pattern);
        for (        final Entry<IMethodName,Double> entry : entries) {
          table.startNewRow();
          final IMethodName method=entry.getKey();
          text2="String_Node_Str" + method.getDeclaringType().getClassName() + "String_Node_Str"+ Names.vm2srcSimpleMethod(method);
          table.addCell(text2,false,true,SWT.COLOR_BLACK);
          table.addCell("String_Node_Str",false,false,SWT.COLOR_BLACK);
          table.addCell(String.format("String_Node_Str",entry.getValue() * 100),false,false,SWT.COLOR_BLUE);
        }
      }
      ratings.loadCommentsComposite(composite);
    }
  }
;
}