Program: 73399
Project: 73399
Buggy source:
/** 
 * Find and show the tableau for a given DocAttribute.
 * @param docAttribute the attribute to show
 * @param target the target of the documentation viewing
 */
private void _showDocAttributeTableau(DocAttribute docAttribute,NamedObj target){
  ComponentEntity effigy=null;
  Effigy context=Configuration.findEffigy(target);
  if (_effigy == null) {
    NamedObj container=target.getContainer();
    while (container != null && context == null) {
      context=Configuration.findEffigy(container);
      container=container.getContainer();
    }
    if (context == null) {
      if (context == null) {
        MessageHandler.error("String_Node_Str" + target.getFullName());
        return;
      }
    }
    effigy=context.getEntity("String_Node_Str");
  }
 else {
    effigy=_effigy;
  }
  if (effigy == null) {
    try {
      effigy=new DocEffigy(context,"String_Node_Str");
    }
 catch (    KernelException exception) {
      throw new InternalErrorException(exception);
    }
  }
  if (!(effigy instanceof DocEffigy)) {
    MessageHandler.error("String_Node_Str" + "String_Node_Str");
  }
  ((DocEffigy)effigy).setDocAttribute(docAttribute);
  ComponentEntity tableau=((Effigy)effigy).getEntity("String_Node_Str");
  if (tableau == null) {
    try {
      tableau=new DocTableau((DocEffigy)effigy,"String_Node_Str");
      ((DocTableau)tableau).setTitle("String_Node_Str" + target.getFullName());
    }
 catch (    KernelException exception) {
      throw new InternalErrorException(exception);
    }
  }
 else {
    if (_isMultipleDocumentationAllowed()) {
      try {
        tableau=new DocTableau((DocEffigy)effigy,effigy.uniqueName("String_Node_Str"));
        ((DocTableau)tableau).setTitle("String_Node_Str" + target.getFullName());
      }
 catch (      KernelException exception) {
        MessageHandler.error("String_Node_Str" + "String_Node_Str" + target.getFullName() + "String_Node_Str",exception);
      }
    }
  }
  if (!(tableau instanceof DocTableau)) {
    MessageHandler.error("String_Node_Str" + "String_Node_Str");
  }
  ((DocTableau)tableau).show();
}

Fixed version (ground truth):
/** 
 * Find and show the tableau for a given DocAttribute.
 * @param docAttribute the attribute to show
 * @param target the target of the documentation viewing
 */
private void _showDocAttributeTableau(DocAttribute docAttribute,NamedObj target){
  ComponentEntity effigy=null;
  Effigy context=Configuration.findEffigy(target);
  if (_effigy == null) {
    NamedObj container=target.getContainer();
    while (container != null && context == null) {
      context=Configuration.findEffigy(container);
      container=container.getContainer();
    }
    if (context == null) {
      MessageHandler.error("String_Node_Str" + target.getFullName());
      return;
    }
    effigy=context.getEntity("String_Node_Str");
  }
 else {
    effigy=_effigy;
  }
  if (effigy == null) {
    try {
      effigy=new DocEffigy(context,"String_Node_Str");
    }
 catch (    KernelException exception) {
      throw new InternalErrorException(exception);
    }
  }
  if (!(effigy instanceof DocEffigy)) {
    MessageHandler.error("String_Node_Str" + "String_Node_Str");
  }
  ((DocEffigy)effigy).setDocAttribute(docAttribute);
  ComponentEntity tableau=((Effigy)effigy).getEntity("String_Node_Str");
  if (tableau == null) {
    try {
      tableau=new DocTableau((DocEffigy)effigy,"String_Node_Str");
      ((DocTableau)tableau).setTitle("String_Node_Str" + target.getFullName());
    }
 catch (    KernelException exception) {
      throw new InternalErrorException(exception);
    }
  }
 else {
    if (_isMultipleDocumentationAllowed()) {
      try {
        tableau=new DocTableau((DocEffigy)effigy,effigy.uniqueName("String_Node_Str"));
        ((DocTableau)tableau).setTitle("String_Node_Str" + target.getFullName());
      }
 catch (      KernelException exception) {
        MessageHandler.error("String_Node_Str" + "String_Node_Str" + target.getFullName() + "String_Node_Str",exception);
      }
    }
  }
  if (!(tableau instanceof DocTableau)) {
    MessageHandler.error("String_Node_Str" + "String_Node_Str");
  }
  ((DocTableau)tableau).show();
}