Program: 93428
Project: 93428
Buggy source:
private boolean printProposals(final ITypeName type){
  final ClassOverridePatterns directive=server.getClassOverridePatterns(type);
  if (directive == null) {
    return false;
  }
  final MethodPattern[] patterns=getPatternsSortedByFrequency(directive);
  final Integer numberOfSubclasses=computeTotalNumberOfSubclasses(patterns);
  final String text=String.format("String_Node_Str",numberOfSubclasses);
  final StarsRatingComposite ratings=new StarsRatingComposite(type,this,server);
  new UIJob("String_Node_Str"){
    @Override public IStatus runInUIThread(    final IProgressMonitor monitor){
      if (!composite.isDisposed()) {
        disposeChildren(composite);
        SwtFactory.createStyledText(composite,text);
        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 double patternProbability=pattern.getNumberOfObservations() / numberOfSubclasses.doubleValue();
          String text2=String.format("String_Node_Str",i + 1,patternProbability,pattern.getNumberOfObservations());
          new TextAndFeaturesLine(templates,text2,ratings);
          final Composite template=SwtFactory.createGridComposite(templates,4,12,2,12,0);
          final List<Entry<IMethodName,Double>> entries=getRecommendedMethodOverridesSortedByLikelihood(pattern);
          for (          final Entry<IMethodName,Double> entry : entries) {
            SwtFactory.createSquare(template);
            final IMethodName method=entry.getKey();
            text2="String_Node_Str" + method.getDeclaringType().getClassName() + "String_Node_Str"+ Names.vm2srcSimpleMethod(method);
            SwtFactory.createLabel(template,text2,false,true,SWT.COLOR_BLACK);
            SwtFactory.createLabel(template,"String_Node_Str");
            SwtFactory.createLabel(template,String.format("String_Node_Str",entry.getValue() * 100),false,false,SWT.COLOR_BLUE);
          }
        }
        composite.layout(true);
      }
      return Status.OK_STATUS;
    }
  }
.schedule();
  return true;
}

Fixed version (ground truth):
private boolean printProposals(final ITypeName type){
  final ClassOverridePatterns directive=server.getClassOverridePatterns(type);
  if (directive == null) {
    return false;
  }
  final MethodPattern[] patterns=getPatternsSortedByFrequency(directive);
  final Integer numberOfSubclasses=computeTotalNumberOfSubclasses(patterns);
  final String text=String.format("String_Node_Str",numberOfSubclasses);
  final StarsRatingComposite ratings=new StarsRatingComposite(type,this,server);
  final CommentsComposite comments=CommentsComposite.create(type,this,server);
  new UIJob("String_Node_Str"){
    @Override public IStatus runInUIThread(    final IProgressMonitor monitor){
      if (!composite.isDisposed()) {
        disposeChildren(composite);
        SwtFactory.createStyledText(composite,text);
        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 Composite template=SwtFactory.createGridComposite(templates,4,12,2,12,0);
          final List<Entry<IMethodName,Double>> entries=getRecommendedMethodOverridesSortedByLikelihood(pattern);
          for (          final Entry<IMethodName,Double> entry : entries) {
            SwtFactory.createSquare(template);
            final IMethodName method=entry.getKey();
            text2="String_Node_Str" + method.getDeclaringType().getClassName() + "String_Node_Str"+ Names.vm2srcSimpleMethod(method);
            SwtFactory.createLabel(template,text2,false,true,SWT.COLOR_BLACK);
            SwtFactory.createLabel(template,"String_Node_Str");
            SwtFactory.createLabel(template,String.format("String_Node_Str",entry.getValue() * 100),false,false,SWT.COLOR_BLUE);
          }
        }
        comments.createContents(composite);
        composite.layout(true);
      }
      return Status.OK_STATUS;
    }
  }
.schedule();
  return true;
}