code: public void setHighlightedAtom(IAtom highlightedAtom) {
          if ((this.highlightedAtom != null) || (highlightedAtom != null)) {
              this.highlightedAtom = highlightedAtom;
              fireChange();
          }
      }
docs: Sets the atom currently highlighted.
  
  @param highlightedAtom
  The atom to be highlighted