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