// typical getter method.
/**
  * Get the height of the box.
  * @return height of the box in pixels.
  */
public final int getHeight()
   {
   return height;
   }

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