// typical setter method.
/**
  * Set the height of the box.
  * @param height height of the box in pixels.
  */
public final void setHeight( int height )
   {
   this.height = height;
   }

/**
  * Corresponding inner height variable hidden from the outside world.
  */
private int height;