setOrientation(int orientation) {
public void setOrientation(int orientation) {
setOrientation(int orientation){		if ((orientation != HORIZONTAL) && (orientation != VERTICAL))    throw new IllegalArgumentException("Bad orientation value: "				       + orientation);		// FIXME: Communicate to peer?  Or must this be called before peer creation?		this.orientation = orientation;}