Program: 113836
Project: 113836
Buggy source:
@Override public void startRequest(MRCRequest rq){
  try {
    Args rqArgs=(Args)rq.getRequestArgs();
    final VolumeManager vMan=master.getVolumeManager();
    final FileAccessManager faMan=master.getFileAccessManager();
    final Path p=new Path(rqArgs.path);
    final VolumeInfo volume=vMan.getVolumeByName(p.getComp(0));
    final StorageManager sMan=vMan.getStorageManager(volume.getId());
    final PathResolver res=new PathResolver(sMan,p);
    faMan.checkSearchPermission(sMan,res,rq.getDetails().userId,rq.getDetails().superUser,rq.getDetails().groupIds);
    faMan.checkPermission(FileAccessManager.WRITE_ACCESS,sMan,res.getParentDir(),0,rq.getDetails().userId,rq.getDetails().superUser,rq.getDetails().groupIds);
    res.checkIfFileDoesNotExist();
    FileMetadata file=res.getFile();
    faMan.checkPermission(FileAccessManager.RM_MV_IN_DIR_ACCESS,sMan,file,res.getParentDirId(),rq.getDetails().userId,rq.getDetails().superUser,rq.getDetails().groupIds);
    if (file.isDirectory() && sMan.getChildren(file.getId()).hasNext())     throw new UserException(ErrNo.ENOTEMPTY,"String_Node_Str" + p + "String_Node_Str");
    HTTPHeaders xCapHeaders=null;
    if (!file.isDirectory()) {
      String aMode=faMan.translateAccessMode(volume.getId(),FileAccessManager.DELETE_ACCESS);
      String capability=MRCOpHelper.createCapability(aMode,volume.getId(),file.getId(),Integer.MAX_VALUE,master.getConfig().getCapabilitySecret()).toString();
      xCapHeaders=MRCOpHelper.createXCapHeaders(capability,file.getXLocList());
    }
    AtomicDBUpdate update=sMan.createAtomicDBUpdate(master,rq);
    sMan.delete(res.getParentDirId(),res.getFileName(),update);
    if (file.getLinkCount() > 1)     xCapHeaders=null;
    rq.setAdditionalResponseHeaders(xCapHeaders);
    MRCOpHelper.updateFileTimes(res.getParentsParentId(),res.getParentDir(),false,true,true,sMan,update);
    rq.setData(ReusableBuffer.wrap(JSONParser.writeJSON(null).getBytes()));
    update.execute();
  }
 catch (  UserException exc) {
    Logging.logMessage(Logging.LEVEL_TRACE,this,exc);
    finishRequest(rq,new ErrorRecord(ErrorClass.USER_EXCEPTION,exc.getErrno(),exc.getMessage(),exc));
  }
catch (  Exception exc) {
    finishRequest(rq,new ErrorRecord(ErrorClass.INTERNAL_SERVER_ERROR,"String_Node_Str",exc));
  }
}

Fixed version (ground truth):
@Override public void startRequest(MRCRequest rq){
  try {
    Args rqArgs=(Args)rq.getRequestArgs();
    final VolumeManager vMan=master.getVolumeManager();
    final FileAccessManager faMan=master.getFileAccessManager();
    final Path p=new Path(rqArgs.path);
    final VolumeInfo volume=vMan.getVolumeByName(p.getComp(0));
    final StorageManager sMan=vMan.getStorageManager(volume.getId());
    final PathResolver res=new PathResolver(sMan,p);
    faMan.checkSearchPermission(sMan,res,rq.getDetails().userId,rq.getDetails().superUser,rq.getDetails().groupIds);
    faMan.checkPermission(FileAccessManager.WRITE_ACCESS,sMan,res.getParentDir(),0,rq.getDetails().userId,rq.getDetails().superUser,rq.getDetails().groupIds);
    res.checkIfFileDoesNotExist();
    FileMetadata file=res.getFile();
    faMan.checkPermission(FileAccessManager.RM_MV_IN_DIR_ACCESS,sMan,file,res.getParentDirId(),rq.getDetails().userId,rq.getDetails().superUser,rq.getDetails().groupIds);
    if (file.isDirectory() && sMan.getChildren(file.getId()).hasNext())     throw new UserException(ErrNo.ENOTEMPTY,"String_Node_Str" + p + "String_Node_Str");
    HTTPHeaders xCapHeaders=null;
    if (!file.isDirectory()) {
      String aMode=faMan.translateAccessMode(volume.getId(),FileAccessManager.DELETE_ACCESS);
      String capability=MRCOpHelper.createCapability(aMode,volume.getId(),file.getId(),Integer.MAX_VALUE,master.getConfig().getCapabilitySecret()).toString();
      xCapHeaders=MRCOpHelper.createXCapHeaders(capability,file.getXLocList());
    }
    AtomicDBUpdate update=sMan.createAtomicDBUpdate(master,rq);
    sMan.delete(res.getParentDirId(),res.getFileName(),update);
    if (file.getLinkCount() > 1)     xCapHeaders=null;
    rq.setAdditionalResponseHeaders(xCapHeaders);
    MRCOpHelper.updateFileTimes(res.getParentsParentId(),res.getParentDir(),false,true,true,sMan,update);
    if (file.getLinkCount() > 1)     MRCOpHelper.updateFileTimes(res.getParentDirId(),file,false,true,false,sMan,update);
    rq.setData(ReusableBuffer.wrap(JSONParser.writeJSON(null).getBytes()));
    update.execute();
  }
 catch (  UserException exc) {
    Logging.logMessage(Logging.LEVEL_TRACE,this,exc);
    finishRequest(rq,new ErrorRecord(ErrorClass.USER_EXCEPTION,exc.getErrno(),exc.getMessage(),exc));
  }
catch (  Exception exc) {
    finishRequest(rq,new ErrorRecord(ErrorClass.INTERNAL_SERVER_ERROR,"String_Node_Str",exc));
  }
}