docs: public String getOptionValue(String key, String defaultValue, Properties displayOptions) {
  
          if (displayOptions == null) {
              return defaultValue;
          }
          return displayOptions.getProperty(key, defaultValue);
      }