docs: public String[] getTextFont() {
      JsonArray jsonArray = jsonObject.getAsJsonArray(SymbolOptions.PROPERTY_TEXT_FONT);
      String[] value = new String[jsonArray.size()];
      for (int i = 0; i < jsonArray.size(); i++) {
        value[i] = jsonArray.get(i).getAsString();
      }
      return value;
    }