Program: 5968
Project: 5968
Buggy source:
@Override public void execute(PaymentInfoMagcard payinfo){
  String sReturned="String_Node_Str";
  URL url;
  System.setProperty("String_Node_Str",sClientCertPath);
  System.setProperty("String_Node_Str",sPasswordCert);
  System.setProperty("String_Node_Str","String_Node_Str");
  String sTransactionType=(payinfo.getTotal() > 0.0) ? SALE : REFUND;
  try {
    url=new URL("String_Node_Str" + HOST + "String_Node_Str"+ PORT);
    HttpsURLConnection connection=(HttpsURLConnection)url.openConnection();
    connection.setHostnameVerifier(new NullHostNameVerifier());
    connection.setDoOutput(true);
    connection.setUseCaches(false);
    connection.setAllowUserInteraction(false);
    connection.setRequestProperty("String_Node_Str","String_Node_Str");
    NumberFormat formatter=new DecimalFormat("String_Node_Str");
    String amount=formatter.format(Math.abs(payinfo.getTotal()));
    String tmp=payinfo.getExpirationDate();
    String refundLine=(sTransactionType.equals("String_Node_Str")) ? "String_Node_Str" + payinfo.getTransactionID() + "String_Node_Str" : "String_Node_Str";
    String xml="String_Node_Str" + "String_Node_Str" + "String_Node_Str" + sConfigfile + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ sTransactionType+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ URLEncoder.encode(amount.replace(',','.'),"String_Node_Str")+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ payinfo.getCardNumber()+ "String_Node_Str"+ "String_Node_Str"+ tmp.charAt(0)+ "String_Node_Str"+ tmp.charAt(1)+ "String_Node_Str"+ "String_Node_Str"+ tmp.charAt(2)+ "String_Node_Str"+ tmp.charAt(3)+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ refundLine+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str";
    DataOutputStream out=new DataOutputStream(connection.getOutputStream());
    out.write(xml.getBytes());
    out.flush();
    BufferedReader in=new BufferedReader(new InputStreamReader(connection.getInputStream()));
    sReturned=in.readLine();
  }
 catch (  IOException exIoe) {
    payinfo.paymentError(LocalRes.getIntString("String_Node_Str"),exIoe.getMessage());
  }
  LinkPointParser lpp=new LinkPointParser(sReturned);
  Map props=lpp.splitXML();
  if (lpp.getResult().equals(LocalRes.getIntString("String_Node_Str"))) {
    if (APPROVED.equals(props.get("String_Node_Str"))) {
      payinfo.paymentOK((String)props.get("String_Node_Str"),(String)props.get("String_Node_Str"),sReturned);
    }
 else {
      payinfo.paymentError(AppLocal.getIntString("String_Node_Str"),(String)props.get("String_Node_Str"));
    }
  }
 else {
    payinfo.paymentError(lpp.getResult(),"String_Node_Str");
  }
}

Fixed version (ground truth):
@Override public void execute(PaymentInfoMagcard payinfo){
  String sReturned="String_Node_Str";
  URL url;
  System.setProperty("String_Node_Str",sClientCertPath);
  System.setProperty("String_Node_Str",sPasswordCert);
  System.setProperty("String_Node_Str","String_Node_Str");
  try {
    url=new URL("String_Node_Str" + HOST + "String_Node_Str"+ PORT);
    HttpsURLConnection connection=(HttpsURLConnection)url.openConnection();
    connection.setHostnameVerifier(new NullHostNameVerifier());
    connection.setDoOutput(true);
    connection.setUseCaches(false);
    connection.setAllowUserInteraction(false);
    connection.setRequestProperty("String_Node_Str","String_Node_Str");
    StringBuilder xml=createOrder(payinfo);
    String a=xml.toString();
    DataOutputStream out=new DataOutputStream(connection.getOutputStream());
    out.write(xml.toString().getBytes());
    out.flush();
    BufferedReader in=new BufferedReader(new InputStreamReader(connection.getInputStream()));
    sReturned=in.readLine();
  }
 catch (  IOException exIoe) {
    payinfo.paymentError(LocalRes.getIntString("String_Node_Str"),exIoe.getMessage());
  }
  LinkPointParser lpp=new LinkPointParser(sReturned);
  Map props=lpp.splitXML();
  if (lpp.getResult().equals(LocalRes.getIntString("String_Node_Str"))) {
    if (APPROVED.equals(props.get("String_Node_Str"))) {
      payinfo.paymentOK((String)props.get("String_Node_Str"),(String)props.get("String_Node_Str"),sReturned);
    }
 else {
      payinfo.paymentError(AppLocal.getIntString("String_Node_Str"),(String)props.get("String_Node_Str"));
    }
  }
 else {
    payinfo.paymentError(lpp.getResult(),"String_Node_Str");
  }
}