code: public static Envelope scaleToWidth( Envelope original, double newWidth ) {
          double width = original.getWidth();
          double factor = newWidth / width;
  
          double newHeight = original.getHeight() * factor;
  
          return new Envelope(original.getMinX(), original.getMinX() + newWidth, original.getMinY(),
                  original.getMinY() + newHeight);
      }
docs: Scale an envelope to have a given width.
  
  @param original the envelope.
  @param newWidth the new width to use.
  @return the scaled envelope placed in the original lower left corner position.