code: public int getHeight ()
      {
          // Return the maximal height of our component mirages.
          int height = 0;
          for (Mirage m : _mirages) {
              height = Math.max(height, m.getHeight());
          }
  
          return height;
      }
docs: documentation inherited from interface Mirage