Program: 59441
Project: 59441
Buggy source:
@Override protected void updateElementInformation(){
  IEnderChannelRegistry data=RegistryEnderAttuned.getChannels(false);
  if (updated != data.updated()) {
    updated=data.updated();
    requested=false;
    IListBoxElement ele=frequencies.getSelectedElement();
    int sel=ele != null ? ((Frequency)ele.getValue()).freq : -1;
    int pos=slider.getSliderY();
    frequencies.removeAll();
    frequencies.setSelectedIndex(-1);
    for (    Frequency freq : data.getFrequencyList(null)) {
      frequencies.add(new ListBoxElementEnderText(freq));
      if (freq.freq == sel) {
        frequencies.setSelectedIndex(frequencies.getElementCount() - 1);
        this.freq.setText(String.valueOf(freq.freq));
        this.name.setText(freq.name);
      }
    }
    slider.setLimits(0,frequencies.getLastScrollPosition());
    slider.setValue(pos);
  }
 else   if (!requested && tileAccess != myTile.getAccess()) {
    requested=true;
    tileAccess=myTile.getAccess();
    RegistryEnderAttuned.requestChannelList(myTile.getChannelString());
  }
  boolean hasFreq=freq.getContentLength() > 0, hasName=name.getContentLength() > 0;
  assign.setEnabled(hasFreq && !String.valueOf(myTile.getFrequency()).equals(freq.getText()));
  clear.setEnabled(myTile.getFrequency() != -1);
  add.setEnabled(hasName && hasFreq && !name.getText().equals(RegistryEnderAttuned.getChannels(false).getFrequency(null,Integer.parseInt(freq.getText()))));
  remove.setEnabled(hasFreq && hasName && name.getText().equals(RegistryEnderAttuned.getChannels(false).getFrequency(null,Integer.parseInt(freq.getText()))));
}

Fixed version (ground truth):
@Override protected void updateElementInformation(){
  IEnderChannelRegistry data=RegistryEnderAttuned.getChannels(false);
  if (updated != data.updated()) {
    updated=data.updated();
    requested=false;
    IListBoxElement ele=frequencies.getSelectedElement();
    int sel=ele != null ? ((Frequency)ele.getValue()).freq : -1;
    int pos=slider.getSliderY();
    frequencies.removeAll();
    frequencies.setSelectedIndex(-1);
    for (    Frequency freq : data.getFrequencyList(null)) {
      frequencies.add(new ListBoxElementEnderText(freq));
      if (freq.freq == sel && String.valueOf(sel).equals(this.freq.getText())) {
        frequencies.setSelectedIndex(frequencies.getElementCount() - 1);
        this.freq.setText(String.valueOf(freq.freq));
        this.name.setText(freq.name);
      }
    }
    slider.setLimits(0,frequencies.getLastScrollPosition());
    slider.setValue(pos);
  }
 else   if (!requested && tileAccess != myTile.getAccess()) {
    requested=true;
    tileAccess=myTile.getAccess();
    RegistryEnderAttuned.requestChannelList(myTile.getChannelString());
  }
  boolean hasFreq=freq.getContentLength() > 0, hasName=name.getContentLength() > 0;
  assign.setEnabled(hasFreq && !String.valueOf(myTile.getFrequency()).equals(freq.getText()));
  clear.setEnabled(myTile.getFrequency() != -1);
  add.setEnabled(hasName && hasFreq && !name.getText().equals(RegistryEnderAttuned.getChannels(false).getFrequency(null,Integer.parseInt(freq.getText()))));
  remove.setEnabled(hasFreq && hasName && name.getText().equals(RegistryEnderAttuned.getChannels(false).getFrequency(null,Integer.parseInt(freq.getText()))));
}