/**
  * Set the user. Usually used by auth handlers to inject a User. You will not normally call this
  * method.
  *
  * @param user the user
  */
 public void setUser(User user) {
   this.delegate.setUser((io.vertx.ext.auth.User) user.getDelegate());
 }