/** Return a receiver that is a one-place buffer. A token put into the
* receiver will overwrite any token already in the receiver.
* @return A receiver that is a one-place buffer.
*/
public Receiver newReceiver() {
return new Mailbox() {
public boolean hasRoom() {
return true;
}
public void put(Token token) {