Program: 145742
Project: 145742
Buggy source:
public String getInputProxy(){
  StringBuffer buffer=new StringBuffer();
  if (Application.get().getUser().isAdmin()) {
    buffer.append("String_Node_Str");
    buffer.append(name);
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    Iterator iterator=getTypes().iterator();
    buffer.append("String_Node_Str");
    while (iterator.hasNext()) {
      String typeString=(String)iterator.next();
      buffer.append("String_Node_Str");
      if (typeString.equals(type)) {
        buffer.append("String_Node_Str");
      }
      buffer.append("String_Node_Str");
      buffer.append(type);
      buffer.append("String_Node_Str");
    }
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    Map handlers=ServletPluginLoader.getPlugins();
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
    buffer.append("String_Node_Str");
    Iterator it=handlers.keySet().iterator();
    while (it.hasNext()) {
      String handlername=(String)it.next();
      buffer.append("String_Node_Str");
      if (handlername.equals(getViewHandler())) {
        buffer.append("String_Node_Str");
      }
      buffer.append("String_Node_Str");
      buffer.append(handlername);
      buffer.append("String_Node_Str");
    }
    buffer.append(handlers);
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
    buffer.append("String_Node_Str");
    it=handlers.keySet().iterator();
    while (it.hasNext()) {
      String handlername=(String)it.next();
      buffer.append("String_Node_Str");
      if (handlername.equals(getEditHandler())) {
        buffer.append("String_Node_Str");
      }
      buffer.append("String_Node_Str");
      buffer.append(handlername);
      buffer.append("String_Node_Str");
    }
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
  }
 else {
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
  }
  return buffer.toString();
}

Fixed version (ground truth):
public String getInputProxy(){
  StringBuffer buffer=new StringBuffer();
  if (Application.get().getUser().isAdmin()) {
    buffer.append("String_Node_Str");
    buffer.append(name);
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    Iterator iterator=getTypes().iterator();
    buffer.append("String_Node_Str");
    while (iterator.hasNext()) {
      String typeString=(String)iterator.next();
      buffer.append("String_Node_Str");
      if (typeString.equals(type)) {
        buffer.append("String_Node_Str");
      }
      buffer.append("String_Node_Str");
      buffer.append(typeString);
      buffer.append("String_Node_Str");
    }
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    Map handlers=ServletPluginLoader.getPlugins();
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
    buffer.append("String_Node_Str");
    Iterator it=handlers.keySet().iterator();
    while (it.hasNext()) {
      String handlername=(String)it.next();
      buffer.append("String_Node_Str");
      if (handlername.equals(getViewHandler())) {
        buffer.append("String_Node_Str");
      }
      buffer.append("String_Node_Str");
      buffer.append(handlername);
      buffer.append("String_Node_Str");
    }
    buffer.append(handlers);
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
    buffer.append("String_Node_Str");
    it=handlers.keySet().iterator();
    while (it.hasNext()) {
      String handlername=(String)it.next();
      buffer.append("String_Node_Str");
      if (handlername.equals(getEditHandler())) {
        buffer.append("String_Node_Str");
      }
      buffer.append("String_Node_Str");
      buffer.append(handlername);
      buffer.append("String_Node_Str");
    }
    buffer.append("String_Node_Str");
    buffer.append("String_Node_Str");
  }
 else {
    buffer.append(ResourceManager.getString("String_Node_Str","String_Node_Str"));
  }
  return buffer.toString();
}