code: private void update() {
                  if (!uptodate) {
                          summary.clear();
                          distinctTraces.clear();
                          traces.clear();
                          addTraces(allTraces, false);
                          uptodate = true;
                  }
          }
docs: Updates the summary, set of distinct traces and list of traces if the
  filter set has been changed.