Program: 58722
Project: 58722
Buggy source:
/** 
 * FIXME: should be moved to a bucket-mediator registers the event-listeners to the event framework
 */
@Override public void unregisterEventListeners(){
  super.unregisterEventListeners();
  if (addPathwayListener != null) {
    eventPublisher.removeListener(addPathwayListener);
    addPathwayListener=null;
  }
  if (loadPathwaysByGeneListener != null) {
    eventPublisher.removeListener(loadPathwaysByGeneListener);
    loadPathwaysByGeneListener=null;
  }
  if (enableTexturesListener != null) {
    eventPublisher.removeListener(enableTexturesListener);
    enableTexturesListener=null;
  }
  if (disableTexturesListener != null) {
    eventPublisher.removeListener(disableTexturesListener);
    disableTexturesListener=null;
  }
  if (enableGeneMappingListener != null) {
    eventPublisher.removeListener(enableGeneMappingListener);
    enableGeneMappingListener=null;
  }
  if (disableGeneMappingListener != null) {
    eventPublisher.removeListener(disableGeneMappingListener);
    disableGeneMappingListener=null;
  }
  if (enableNeighborhoodListener != null) {
    eventPublisher.removeListener(enableNeighborhoodListener);
    enableNeighborhoodListener=null;
  }
  if (disableNeighborhoodListener != null) {
    eventPublisher.removeListener(disableNeighborhoodListener);
    disableNeighborhoodListener=null;
  }
  if (resetViewListener != null) {
    eventPublisher.removeListener(resetViewListener);
    resetViewListener=null;
  }
  if (selectionUpdateListener != null) {
    eventPublisher.removeListener(selectionUpdateListener);
    selectionUpdateListener=null;
  }
  if (toggleZoomListener != null) {
    eventPublisher.removeListener(toggleZoomListener);
    toggleZoomListener=null;
  }
}

Fixed version (ground truth):
/** 
 * FIXME: should be moved to a bucket-mediator registers the event-listeners to the event framework
 */
@Override public void unregisterEventListeners(){
  super.unregisterEventListeners();
  if (addPathwayListener != null) {
    eventPublisher.removeListener(addPathwayListener);
    addPathwayListener=null;
  }
  if (loadPathwaysByGeneListener != null) {
    eventPublisher.removeListener(loadPathwaysByGeneListener);
    loadPathwaysByGeneListener=null;
  }
  if (enableTexturesListener != null) {
    eventPublisher.removeListener(enableTexturesListener);
    enableTexturesListener=null;
  }
  if (disableTexturesListener != null) {
    eventPublisher.removeListener(disableTexturesListener);
    disableTexturesListener=null;
  }
  if (enableGeneMappingListener != null) {
    eventPublisher.removeListener(enableGeneMappingListener);
    enableGeneMappingListener=null;
  }
  if (disableGeneMappingListener != null) {
    eventPublisher.removeListener(disableGeneMappingListener);
    disableGeneMappingListener=null;
  }
  if (enableNeighborhoodListener != null) {
    eventPublisher.removeListener(enableNeighborhoodListener);
    enableNeighborhoodListener=null;
  }
  if (disableNeighborhoodListener != null) {
    eventPublisher.removeListener(disableNeighborhoodListener);
    disableNeighborhoodListener=null;
  }
  if (enableConnectionLinesListener != null) {
    eventPublisher.removeListener(enableConnectionLinesListener);
    enableConnectionLinesListener=null;
  }
  if (disableConnectionLinesListener != null) {
    eventPublisher.removeListener(disableConnectionLinesListener);
    disableConnectionLinesListener=null;
  }
  if (resetViewListener != null) {
    eventPublisher.removeListener(resetViewListener);
    resetViewListener=null;
  }
  if (selectionUpdateListener != null) {
    eventPublisher.removeListener(selectionUpdateListener);
    selectionUpdateListener=null;
  }
  if (toggleZoomListener != null) {
    eventPublisher.removeListener(toggleZoomListener);
    toggleZoomListener=null;
  }
}