code: public void setShortName(String shortName) {
          this.shortName = shortName;
          String lowerCaseShortName = shortName == null ? null : shortName.toLowerCase();
          this.setLowerCaseShortName(lowerCaseShortName);
      }
docs: Sets the short name to the supplied value and also sets a lower case version obtainable via the {@link #getLowerCaseShortName()}.
  
  @param shortName