code: public void setWidth(int width) {
      if (isJB()) {
        this.width = width;
      } else {
        ShadowDisplayManager.changeDisplay(realObject.getDisplayId(),
            di -> di.appWidth = width);
      }
    }
docs: Changes the width available to the application for this display.
  
  Any registered {@link android.hardware.display.DisplayManager.DisplayListener}s will be
  notified of the change.
  
  @param width the new width in pixels