Program: 45659
Project: 45659
Buggy source:
@Override protected void setStatus(CellStatus status,boolean increasing){
  super.setStatus(status,increasing);
switch (status) {
case DISK:
    if (msgReceiver != null) {
      channelComp.removeMessageReceiver(AudioTreatmentDoneMessage.class);
      channelComp.removeMessageReceiver(AudioTreatmentMenuChangeMessage.class);
      channelComp.removeMessageReceiver(AudioTreatmentRequestMessage.class);
      channelComp.removeMessageReceiver(AudioVolumeMessage.class);
      msgReceiver=null;
    }
  break;
case ACTIVE:
if (increasing) {
  if (msgReceiver == null) {
    msgReceiver=new ChannelComponent.ComponentMessageReceiver(){
      public void messageReceived(      CellMessage message){
        receive(message);
      }
    }
;
    channelComp=cell.getComponent(ChannelComponent.class);
    channelComp.addMessageReceiver(AudioTreatmentDoneMessage.class,msgReceiver);
    channelComp.addMessageReceiver(AudioTreatmentMenuChangeMessage.class,msgReceiver);
    channelComp.addMessageReceiver(AudioTreatmentRequestMessage.class,msgReceiver);
    channelComp.addMessageReceiver(AudioVolumeMessage.class,msgReceiver);
  }
  if (menuItemAdded == false) {
    menuItemAdded=true;
    if (playWhen.equals(PlayWhen.ALWAYS)) {
      addMenuItems(new String[]{"String_Node_Str","String_Node_Str","String_Node_Str"});
      ;
    }
 else {
      addMenuItems(new String[]{"String_Node_Str","String_Node_Str"});
    }
  }
}
break;
}
}

Fixed version (ground truth):
@Override protected void setStatus(CellStatus status,boolean increasing){
  super.setStatus(status,increasing);
switch (status) {
case DISK:
    if (msgReceiver != null) {
      channelComp.removeMessageReceiver(AudioTreatmentDoneMessage.class);
      channelComp.removeMessageReceiver(AudioTreatmentEndedMessage.class);
      channelComp.removeMessageReceiver(AudioTreatmentEstablishedMessage.class);
      channelComp.removeMessageReceiver(AudioTreatmentMenuChangeMessage.class);
      channelComp.removeMessageReceiver(AudioTreatmentRequestMessage.class);
      channelComp.removeMessageReceiver(AudioVolumeMessage.class);
      msgReceiver=null;
    }
  break;
case ACTIVE:
if (increasing) {
  if (msgReceiver == null) {
    msgReceiver=new ChannelComponent.ComponentMessageReceiver(){
      public void messageReceived(      CellMessage message){
        receive(message);
      }
    }
;
    channelComp=cell.getComponent(ChannelComponent.class);
    channelComp.addMessageReceiver(AudioTreatmentDoneMessage.class,msgReceiver);
    channelComp.addMessageReceiver(AudioTreatmentEndedMessage.class,msgReceiver);
    channelComp.addMessageReceiver(AudioTreatmentEstablishedMessage.class,msgReceiver);
    channelComp.addMessageReceiver(AudioTreatmentMenuChangeMessage.class,msgReceiver);
    channelComp.addMessageReceiver(AudioTreatmentRequestMessage.class,msgReceiver);
    channelComp.addMessageReceiver(AudioVolumeMessage.class,msgReceiver);
  }
  if (menuItemAdded == false) {
    menuItemAdded=true;
    if (playWhen.equals(PlayWhen.ALWAYS)) {
      addMenuItems(new String[]{"String_Node_Str","String_Node_Str","String_Node_Str"});
      ;
    }
 else {
      addMenuItems(new String[]{"String_Node_Str","String_Node_Str"});
    }
  }
}
break;
}
}