code: public String getOptionValue(String key, String defaultValue, Properties displayOptions) {
  
          if (displayOptions == null) {
              return defaultValue;
          }
          return displayOptions.getProperty(key, defaultValue);
      }
docs: Returns the value for the given key from the display options.<p>
  
  @param key he element key name which should be read
  @param defaultValue the default value to use in case the property is not found
  @param displayOptions the display options for the current user
  
  @return the value for the given key from the display options