Method put

src/main/java/gate/util/OptionsMap.java:42–53

Converts the value to string using Strings#toString(Object) method and then stores it. There is get methods for values that are a String, an Integer, a Boolean, a Font, a List of String and a Map of String String.

(Object key, Object value)

   * a Font, a List of String and a Map of String*String.
   */
  @Override
  public Object put(Object key, Object value) {
    if(value instanceof Font){
      Font font = (Font)value;
      String family = font.getFamily();
      int size = font.getSize();
      boolean italic = font.isItalic();
      boolean bold = font.isBold();
      value = family + "#" + size + "#" + italic + "#" + bold;
    }
    return super.put(key.toString(), Strings.toString(value));
  }

  public Object put(Object key, LinkedHashSet<String> value) {
    return super.put(key.toString(), Strings.toString(value));