Program: 187940
Project: 187940
Buggy source:
public boolean addPost(String itemUrl,String description,String extended,String[] tags,boolean shared) throws java.io.IOException {
  String rpc=mAPI + "String_Node_Str";
  StringBuffer rpcBuf=new StringBuffer();
  StringBuffer tagsBuf=new StringBuffer();
  Element tag;
  URL u=null;
  String dateStamp;
  if (description == null || description.equals("String_Node_Str")) {
    description="String_Node_Str";
  }
  if (extended == null) {
    extended=new String();
  }
  try {
    rpcBuf.append("String_Node_Str" + itemUrl);
    rpcBuf.append("String_Node_Str" + URLEncoder.encode(description));
    rpcBuf.append("String_Node_Str" + URLEncoder.encode(extended));
    int tagsLen=tags.length;
    if (mAPI.equals(MAGNOLIA_API)) {
      for (int i=0; i < tagsLen; i++) {
        tagsBuf.append(URLEncoder.encode(tags[i]) + "String_Node_Str");
      }
    }
 else     if (mAPI.equals(DELICIOUS_API)) {
      for (int i=0; i < tagsLen; i++) {
        tagsBuf.append(URLEncoder.encode(tags[i]) + "String_Node_Str");
      }
    }
    rpcBuf.append("String_Node_Str" + tagsBuf.toString());
    if (shared) {
      rpcBuf.append("String_Node_Str");
    }
 else {
      rpcBuf.append("String_Node_Str");
    }
    rpcBuf.append("String_Node_Str");
  }
 catch (  Exception e) {
    Log.e(_TAG,"String_Node_Str");
    e.printStackTrace();
  }
  rpc+=rpcBuf.toString();
  System.out.println("String_Node_Str" + rpc + "String_Node_Str");
  try {
    u=new URL(rpc);
  }
 catch (  java.net.MalformedURLException mu) {
    System.out.println("String_Node_Str" + mu.getMessage());
  }
  String s=new Scanner(u.openStream()).useDelimiter("String_Node_Str").next();
  if (s.equals("String_Node_Str")) {
    return true;
  }
  return false;
}

Fixed version (ground truth):
public boolean addPost(String itemUrl,String description,String extended,String[] tags,boolean shared) throws java.io.IOException {
  String rpc=mAPI + "String_Node_Str";
  StringBuffer rpcBuf=new StringBuffer();
  StringBuffer tagsBuf=new StringBuffer();
  Element tag;
  URL u=null;
  String dateStamp;
  if (description == null || description.equals("String_Node_Str")) {
    description="String_Node_Str";
  }
  if (extended == null) {
    extended=new String();
  }
  try {
    rpcBuf.append("String_Node_Str" + itemUrl);
    rpcBuf.append("String_Node_Str" + URLEncoder.encode(description));
    rpcBuf.append("String_Node_Str" + URLEncoder.encode(extended));
    int tagsLen=tags.length;
    if (mAPI.equals(MAGNOLIA_API)) {
      for (int i=0; i < tagsLen; i++) {
        tagsBuf.append(URLEncoder.encode(tags[i]) + "String_Node_Str");
      }
    }
 else     if (mAPI.equals(DELICIOUS_API)) {
      for (int i=0; i < tagsLen; i++) {
        tagsBuf.append(URLEncoder.encode(tags[i]) + "String_Node_Str");
      }
    }
    rpcBuf.append("String_Node_Str" + tagsBuf.toString());
    if (shared) {
      rpcBuf.append("String_Node_Str");
    }
 else {
      rpcBuf.append("String_Node_Str");
    }
    rpcBuf.append("String_Node_Str");
  }
 catch (  Exception e) {
    Log.e(_TAG,"String_Node_Str");
    e.printStackTrace();
  }
  rpc+=rpcBuf.toString();
  System.out.println("String_Node_Str" + rpc + "String_Node_Str");
  try {
    u=new URL(rpc);
  }
 catch (  java.net.MalformedURLException mu) {
    System.out.println("String_Node_Str" + mu.getMessage());
  }
  String s="String_Node_Str";
  try {
    javax.net.ssl.HttpsURLConnection connection=(javax.net.ssl.HttpsURLConnection)u.openConnection();
    javax.net.ssl.HostnameVerifier v=new org.apache.http.conn.ssl.AllowAllHostnameVerifier();
    connection.setHostnameVerifier(v);
    s=new Scanner(connection.getInputStream()).useDelimiter("String_Node_Str").next();
  }
 catch (  java.io.IOException ioe) {
    System.out.println("String_Node_Str" + ioe.getMessage());
    Log.e(_TAG,"String_Node_Str" + ioe.getMessage());
  }
catch (  Exception e) {
    Log.e(_TAG,"String_Node_Str" + u);
    System.out.println("String_Node_Str" + u);
    e.printStackTrace();
  }
  if (s.equals("String_Node_Str")) {
    return true;
  }
  return false;
}