Program: 141204
Project: 141204
Buggy source:
private void check(final DataFormat df,final boolean callFromConstructor) throws EoulsanException {
  if (df.getName() == null)   throw new EoulsanException("String_Node_Str" + df.getClass().getName() + "String_Node_Str");
  if (!df.getName().toLowerCase().trim().equals(df.getName())) {
    throw new EoulsanException("String_Node_Str" + df.getClass().getName() + "String_Node_Str");
  }
  for (  DataFormat format : this.formats) {
    if (format.getName().equals(df.getName()))     throw new EoulsanException("String_Node_Str" + df.getName() + "String_Node_Str");
  }
  final String prefix=df.getPrefix();
  if (prefix == null)   throw new EoulsanException("String_Node_Str" + df.getName() + "String_Node_Str");
  if (prefix == null || "String_Node_Str".equals(prefix))   throw new EoulsanException("String_Node_Str" + df.getName() + "String_Node_Str");
  if (prefix.indexOf('\t') != -1)   throw new EoulsanException("String_Node_Str" + prefix);
  final List<String> extensions=df.getExtensions();
  if (extensions == null || extensions.size() == 0)   throw new EoulsanException("String_Node_Str");
  if (df.getDefaultExtention() == null)   throw new EoulsanException("String_Node_Str" + df.getName());
  boolean defaultExtensionFound=false;
  for (  String suffix : df.getExtensions()) {
    if (suffix == null)     throw new EoulsanException("String_Node_Str");
    if (suffix.indexOf('\t') != -1)     throw new EoulsanException("String_Node_Str" + suffix);
    if (suffix.equals(df.getDefaultExtention()))     defaultExtensionFound=true;
    final String key=prefix + "String_Node_Str" + suffix;
    if (this.mapFormats.containsKey(key)) {
      throw new EoulsanException("String_Node_Str" + prefix + "String_Node_Str"+ suffix+ "String_Node_Str");
    }
    if (!callFromConstructor)     throw new EoulsanException("String_Node_Str" + df.getName() + "String_Node_Str");
    if (df.getDesignFieldName() != null)     this.mapDesignDataFormat.put(df.getDesignFieldName(),df);
    formats.add(df);
    this.mapFormats.put(key,df);
  }
  if (!defaultExtensionFound)   throw new EoulsanException("String_Node_Str" + df.getName() + "String_Node_Str");
}

Fixed version (ground truth):
private void check(final DataFormat df,final boolean callFromConstructor) throws EoulsanException {
  if (df.getName() == null)   throw new EoulsanException("String_Node_Str" + df.getClass().getName() + "String_Node_Str");
  if (!df.getName().toLowerCase().trim().equals(df.getName())) {
    throw new EoulsanException("String_Node_Str" + df.getClass().getName() + "String_Node_Str");
  }
  for (  DataFormat format : this.formats) {
    if (format.getName().equals(df.getName()))     throw new EoulsanException("String_Node_Str" + df.getName() + "String_Node_Str");
  }
  final String prefix=df.getPrefix();
  if (prefix == null || "String_Node_Str".equals(prefix))   throw new EoulsanException("String_Node_Str" + df.getName() + "String_Node_Str");
  if (prefix.indexOf('\t') != -1)   throw new EoulsanException("String_Node_Str" + prefix);
  final List<String> extensions=df.getExtensions();
  if (extensions == null || extensions.size() == 0)   throw new EoulsanException("String_Node_Str");
  if (df.getDefaultExtention() == null)   throw new EoulsanException("String_Node_Str" + df.getName());
  boolean defaultExtensionFound=false;
  for (  String suffix : df.getExtensions()) {
    if (suffix == null)     throw new EoulsanException("String_Node_Str");
    if (suffix.indexOf('\t') != -1)     throw new EoulsanException("String_Node_Str" + suffix);
    if (suffix.equals(df.getDefaultExtention()))     defaultExtensionFound=true;
    final String key=prefix + "String_Node_Str" + suffix;
    if (this.mapFormats.containsKey(key)) {
      throw new EoulsanException("String_Node_Str" + prefix + "String_Node_Str"+ suffix+ "String_Node_Str");
    }
    if (!callFromConstructor)     throw new EoulsanException("String_Node_Str" + df.getName() + "String_Node_Str");
    if (df.getDesignFieldName() != null)     this.mapDesignDataFormat.put(df.getDesignFieldName(),df);
    formats.add(df);
    this.mapFormats.put(key,df);
  }
  if (!defaultExtensionFound)   throw new EoulsanException("String_Node_Str" + df.getName() + "String_Node_Str");
}