587588589590591592593594595596597
if (children.size() > 0) { json.key("children").array(); for (String c : children) { json.value(c); } json.endArray(); } return json.toString(); } public static Children fromString(String s) {
16031604160516061607160816091610161116121613
if (childNames.size() > 0) { json.key("children").array(); for (String c : childNames) { json.value(c); } json.endArray(); } return json.toString(); } public static Children fromString(String s) {