if (properties.size() > 0) {
json.key("prop").object();
for (String k : properties.keySet()) {
json.key(k).value(getPropertyAsString(k));
}
json.endObject();
}
return json.toString();
}
public static DocumentNodeState fromString(DocumentNodeStore store, String s) {