}
// NOTE: We assume here that the implementation
// of addValueListener() is smart enough to not add
// this if it is already a listener.
location.addValueListener(this);
return location.getLocation();
}
/** Return the list of receivers that can receive from the specified
* port with the specified transmission properties. Ports that are contained