/**
  * Get the RMI interface object of the BootstrapManager class of a given node.
  *
  * @param node The node whose BootstrapManager is requested.
  * @return The RMI interface object
  */
 public Object getBootstrapInterface(Node node) {
   return this.networkinterface.getRMIInterface(
       "//" + node.getIpAddress() + "/Bootstrap_" + node.getHostname());
 }
 /**
  * Get the RMI interface object of the NodeLinkManager class of a given node.
  *
  * @param node The node whose NodeLinkManager is requested.
  * @return The RMI interface object
  */
 public Object getNodeLinkInterface(Node node) {
   return this.networkinterface.getRMIInterface(
       "//" + node.getIpAddress() + "/NodeLinkManager_" + node.getHostname());
 }