Program: 113829
Project: 113829
Buggy source:
public void installOperations(){
  operations.put(ShutdownOperation.RPC_NAME,new ShutdownOperation(master));
  operations.put(StatusPageOperation.RPC_NAME,new StatusPageOperation(master));
  operations.put(GetProtocolVersionOperation.RPC_NAME,new GetProtocolVersionOperation(master));
  operations.put(CreateVolumeOperation.RPC_NAME,new CreateVolumeOperation(master));
  operations.put(DeleteVolumeOperation.RPC_NAME,new DeleteVolumeOperation(master));
  operations.put(GetLocalVolumesOperation.RPC_NAME,new GetLocalVolumesOperation(master));
  operations.put(StatOperation.RPC_NAME,new StatOperation(master));
  operations.put(CheckAccessOperation.RPC_NAME,new CheckAccessOperation(master));
  operations.put(ReadDirOperation.RPC_NAME,new ReadDirOperation(master));
  operations.put(ReadDirAndStatOperation.RPC_NAME,new ReadDirAndStatOperation(master));
  operations.put(CreateFileOperation.RPC_NAME,new CreateFileOperation(master));
  operations.put(CreateDirOperation.RPC_NAME,new CreateDirOperation(master));
  operations.put(CreateSymLinkOperation.RPC_NAME,new CreateSymLinkOperation(master));
  operations.put(DeleteOperation.RPC_NAME,new DeleteOperation(master));
  operations.put(GetXAttrOperation.RPC_NAME,new GetXAttrOperation(master));
  operations.put(SetXAttrsOperation.RPC_NAME,new SetXAttrsOperation(master));
  operations.put(OpenOperation.RPC_NAME,new OpenOperation(master));
  operations.put(UpdateFileSizeOperation.RPC_NAME,new UpdateFileSizeOperation(master));
  operations.put(RenewOperation.RPC_NAME,new RenewOperation(master));
  operations.put(ChangeOwnerOperation.RPC_NAME,new ChangeOwnerOperation(master));
  operations.put(ChangeAccessModeOperation.RPC_NAME,new ChangeAccessModeOperation(master));
  operations.put(AddReplicaOperation.RPC_NAME,new AddReplicaOperation(master));
  operations.put(RemoveReplicaOperation.RPC_NAME,new RemoveReplicaOperation(master));
  operations.put(MoveOperation.RPC_NAME,new MoveOperation(master));
  operations.put(CreateLinkOperation.RPC_NAME,new CreateLinkOperation(master));
  operations.put(StatFSOperation.RPC_NAME,new StatFSOperation(master));
  operations.put(UtimeOperation.RPC_NAME,new UtimeOperation(master));
  operations.put(SetW32AttrsOperation.RPC_NAME,new SetW32AttrsOperation(master));
  operations.put(GetW32AttrsOperation.RPC_NAME,new GetW32AttrsOperation(master));
  operations.put(SetACLEntriesOperation.RPC_NAME,new SetACLEntriesOperation(master));
  operations.put(RemoveACLEntriesOperation.RPC_NAME,new RemoveACLEntriesOperation(master));
  operations.put(DumpDBOperation.RPC_NAME,new DumpDBOperation(master));
  operations.put(RestoreDBOperation.RPC_NAME,new RestoreDBOperation(master));
  operations.put(CheckAccessOperation.RPC_NAME,new CheckFileListOperation(master));
}

Fixed version (ground truth):
public void installOperations(){
  operations.put(ShutdownOperation.RPC_NAME,new ShutdownOperation(master));
  operations.put(StatusPageOperation.RPC_NAME,new StatusPageOperation(master));
  operations.put(GetProtocolVersionOperation.RPC_NAME,new GetProtocolVersionOperation(master));
  operations.put(CreateVolumeOperation.RPC_NAME,new CreateVolumeOperation(master));
  operations.put(DeleteVolumeOperation.RPC_NAME,new DeleteVolumeOperation(master));
  operations.put(GetLocalVolumesOperation.RPC_NAME,new GetLocalVolumesOperation(master));
  operations.put(StatOperation.RPC_NAME,new StatOperation(master));
  operations.put(CheckAccessOperation.RPC_NAME,new CheckAccessOperation(master));
  operations.put(ReadDirOperation.RPC_NAME,new ReadDirOperation(master));
  operations.put(ReadDirAndStatOperation.RPC_NAME,new ReadDirAndStatOperation(master));
  operations.put(CreateFileOperation.RPC_NAME,new CreateFileOperation(master));
  operations.put(CreateDirOperation.RPC_NAME,new CreateDirOperation(master));
  operations.put(CreateSymLinkOperation.RPC_NAME,new CreateSymLinkOperation(master));
  operations.put(DeleteOperation.RPC_NAME,new DeleteOperation(master));
  operations.put(GetXAttrOperation.RPC_NAME,new GetXAttrOperation(master));
  operations.put(SetXAttrsOperation.RPC_NAME,new SetXAttrsOperation(master));
  operations.put(OpenOperation.RPC_NAME,new OpenOperation(master));
  operations.put(UpdateFileSizeOperation.RPC_NAME,new UpdateFileSizeOperation(master));
  operations.put(RenewOperation.RPC_NAME,new RenewOperation(master));
  operations.put(ChangeOwnerOperation.RPC_NAME,new ChangeOwnerOperation(master));
  operations.put(ChangeAccessModeOperation.RPC_NAME,new ChangeAccessModeOperation(master));
  operations.put(AddReplicaOperation.RPC_NAME,new AddReplicaOperation(master));
  operations.put(RemoveReplicaOperation.RPC_NAME,new RemoveReplicaOperation(master));
  operations.put(MoveOperation.RPC_NAME,new MoveOperation(master));
  operations.put(CreateLinkOperation.RPC_NAME,new CreateLinkOperation(master));
  operations.put(StatFSOperation.RPC_NAME,new StatFSOperation(master));
  operations.put(UtimeOperation.RPC_NAME,new UtimeOperation(master));
  operations.put(SetW32AttrsOperation.RPC_NAME,new SetW32AttrsOperation(master));
  operations.put(GetW32AttrsOperation.RPC_NAME,new GetW32AttrsOperation(master));
  operations.put(SetACLEntriesOperation.RPC_NAME,new SetACLEntriesOperation(master));
  operations.put(RemoveACLEntriesOperation.RPC_NAME,new RemoveACLEntriesOperation(master));
  operations.put(DumpDBOperation.RPC_NAME,new DumpDBOperation(master));
  operations.put(RestoreDBOperation.RPC_NAME,new RestoreDBOperation(master));
  operations.put(CheckFileListOperation.RPC_NAME,new CheckFileListOperation(master));
}