code: private String string(JsonObject node, String key, String default_) {
      JsonElement value = node.get(key);
      if (value != null && value.isJsonPrimitive()) {
        return value.getAsString();
      }
      return default_;
    }
docs: Extract a value from a JSON object and convert it to a string.