code: public void setRealm(String inputRealm) {
          if ((inputRealm != null) && (!inputRealm.equals(""))) {
              this.realm = inputRealm;
              setRealmDefined(true);
          }
      }
docs: Set the realm.
  
  @param inputRealm The realm to set.
  
  @pre inputRealm != null
  @pre inputRealm != ""