Program: 10118
Project: 10118
Buggy source:
private Post makePostFromJson(PostJson pj) throws ContentParseException {
  if (pj.getNo() == 0) {
    throw new ContentParseException("String_Node_Str");
  }
  if (pj.getTime() == 0) {
    throw new ContentParseException("String_Node_Str");
  }
  Post p=new Post();
  if (pj.getFilename() != null) {
    p.setMediaFilename(pj.getFilename() + pj.getExt());
    p.setMediaOrig(pj.getTim() + pj.getExt());
    p.setPreviewOrig(pj.getTim() + "String_Node_Str");
  }
  String capcode=pj.getCapcode();
  if (capcode != null)   capcode=capcode.substring(0,1).toUpperCase();
  String posterCountry=pj.getCountry();
  if (posterCountry != null && (posterCountry.equals("String_Node_Str") || posterCountry.equals("String_Node_Str")))   posterCountry=null;
  p.setType(pj.getExt());
  p.setMediaHash(pj.getMd5());
  p.setMediaSize(pj.getFsize());
  p.setMediaW(pj.getW());
  p.setMediaH(pj.getH());
  p.setPreviewW(pj.getTnW());
  p.setPreviewH(pj.getTnH());
  p.setNum(pj.getNo());
  p.setThreadNum(pj.getResto() == 0 ? pj.getNo() : pj.getResto());
  p.setOp(pj.getResto() == 0);
  p.setTitle(this.cleanSimple(pj.getSub()));
  p.setEmail(this.cleanLink(pj.getEmail()));
  p.setName(this.cleanSimple(pj.getName()));
  p.setTrip(pj.getTrip());
  p.setDate(this.parseDate(pj.getTime()));
  p.setComment(this.doClean(pj.getCom()));
  p.setSpoiler(pj.isSpoiler());
  p.setDeleted(false);
  p.setSticky(pj.isSticky());
  p.setCapcode(capcode);
  p.setPosterHash(pj.getId());
  p.setPosterCountry(posterCountry);
  p.setDateExpired(0);
  p.setExif(null);
  return p;
}

Fixed version (ground truth):
private Post makePostFromJson(PostJson pj) throws ContentParseException {
  if (pj.getNo() == 0) {
    throw new ContentParseException("String_Node_Str");
  }
  if (pj.getTime() == 0) {
    throw new ContentParseException("String_Node_Str");
  }
  Post p=new Post();
  if (pj.getFilename() != null) {
    p.setMediaFilename(pj.getFilename() + pj.getExt());
    p.setMediaOrig(pj.getTim() + pj.getExt());
    p.setPreviewOrig(pj.getTim() + "String_Node_Str");
  }
  String capcode=pj.getCapcode();
  if (capcode != null)   capcode=capcode.substring(0,1).toUpperCase();
  String posterHash=pj.getId();
  if (posterHash != null && posterHash.equals("String_Node_Str"))   posterHash="String_Node_Str";
  String posterCountry=pj.getCountry();
  if (posterCountry != null && (posterCountry.equals("String_Node_Str") || posterCountry.equals("String_Node_Str")))   posterCountry=null;
  p.setType(pj.getExt());
  p.setMediaHash(pj.getMd5());
  p.setMediaSize(pj.getFsize());
  p.setMediaW(pj.getW());
  p.setMediaH(pj.getH());
  p.setPreviewW(pj.getTnW());
  p.setPreviewH(pj.getTnH());
  p.setNum(pj.getNo());
  p.setThreadNum(pj.getResto() == 0 ? pj.getNo() : pj.getResto());
  p.setOp(pj.getResto() == 0);
  p.setTitle(this.cleanSimple(pj.getSub()));
  p.setEmail(this.cleanLink(pj.getEmail()));
  p.setName(this.cleanSimple(pj.getName()));
  p.setTrip(pj.getTrip());
  p.setDate(this.parseDate(pj.getTime()));
  p.setComment(this.doClean(pj.getCom()));
  p.setSpoiler(pj.isSpoiler());
  p.setDeleted(false);
  p.setSticky(pj.isSticky());
  p.setCapcode(capcode);
  p.setPosterHash(posterHash);
  p.setPosterCountry(posterCountry);
  p.setDateExpired(0);
  p.setExif(null);
  return p;
}