public void setProximityBrowser(
      final ZyDefaultProximityBrowser<NodeType, EdgeType> proximityBrowser) {
    if (m_proximityBrowser != null) {
      m_proximityBrowser.dispose();
    }

    m_proximityBrowser = proximityBrowser;
  }
Selects a list of nodes and unselects another list of nodes.

@param toSelect The list of nodes to select.
@param toUnselect The list of nodes to unselect.
java/zylib/src/main/java/com/google/security/zynamics/zylib/yfileswrap/gui/zygraph/AbstractZyGraph.java