Program: 113834
Project: 113834
Buggy source:
@Override public void startRequest(MRCRequest rq){
  try {
    Args rqArgs=(Args)rq.getRequestArgs();
    final VolumeManager vMan=master.getVolumeManager();
    final FileAccessManager faMan=master.getFileAccessManager();
    Path p=new Path(rqArgs.path);
    VolumeInfo volume=vMan.getVolumeByName(p.getComp(0));
    StorageManager sMan=vMan.getStorageManager(volume.getId());
    PathResolver res=new PathResolver(sMan,p);
    faMan.checkSearchPermission(sMan,res,rq.getDetails().userId,rq.getDetails().superUser,rq.getDetails().groupIds);
    res.checkIfFileDoesNotExist();
    FileMetadata file=res.getFile();
    String target=sMan.getSoftlinkTarget(file.getId());
    if (target != null) {
      rqArgs.path=target;
      p=new Path(rqArgs.path);
      if (!vMan.hasVolume(p.getComp(0))) {
        finishRequest(rq,new ErrorRecord(ErrorClass.REDIRECT,target));
        return;
      }
      volume=vMan.getVolumeByName(p.getComp(0));
      sMan=vMan.getStorageManager(volume.getId());
      res=new PathResolver(sMan,p);
      file=res.getFile();
    }
    faMan.checkPrivilegedPermissions(sMan,file,rq.getDetails().userId,rq.getDetails().superUser,rq.getDetails().groupIds);
    AtomicDBUpdate update=sMan.createAtomicDBUpdate(master,rq);
    file.setOwnerAndGroup(rqArgs.userId == null ? file.getOwnerId() : rqArgs.userId,rqArgs.groupId == null ? file.getOwningGroupId() : rqArgs.groupId);
    sMan.setMetadata(file,FileMetadata.RC_METADATA,update);
    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));
  }
}

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();
    Path p=new Path(rqArgs.path);
    VolumeInfo volume=vMan.getVolumeByName(p.getComp(0));
    StorageManager sMan=vMan.getStorageManager(volume.getId());
    PathResolver res=new PathResolver(sMan,p);
    faMan.checkSearchPermission(sMan,res,rq.getDetails().userId,rq.getDetails().superUser,rq.getDetails().groupIds);
    res.checkIfFileDoesNotExist();
    FileMetadata file=res.getFile();
    String target=sMan.getSoftlinkTarget(file.getId());
    if (target != null) {
      rqArgs.path=target;
      p=new Path(rqArgs.path);
      if (!vMan.hasVolume(p.getComp(0))) {
        finishRequest(rq,new ErrorRecord(ErrorClass.REDIRECT,target));
        return;
      }
      volume=vMan.getVolumeByName(p.getComp(0));
      sMan=vMan.getStorageManager(volume.getId());
      res=new PathResolver(sMan,p);
      file=res.getFile();
    }
    if (rqArgs.userId != null) {
      if (!rq.getDetails().superUser)       throw new UserException(ErrNo.EACCES,"String_Node_Str");
    }
 else     faMan.checkPrivilegedPermissions(sMan,file,rq.getDetails().userId,rq.getDetails().superUser,rq.getDetails().groupIds);
    AtomicDBUpdate update=sMan.createAtomicDBUpdate(master,rq);
    file.setOwnerAndGroup(rqArgs.userId == null ? file.getOwnerId() : rqArgs.userId,rqArgs.groupId == null ? file.getOwningGroupId() : rqArgs.groupId);
    sMan.setMetadata(file,FileMetadata.RC_METADATA,update);
    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));
  }
}