private void fireSequenceSelectionEvent(Selection sel) {
   controller.handleSequenceSelectionEvent(new SequenceSelectionEvent(this, sel));
 }