public JsonObject(JsonObject jo, String[] names) { for (int i = 0; i < names.Length; i += 1) { PutOpt(names[i], jo.Opt(names[i])); } }