Source position: jstree.pp line 1581
public property TJSObjectTypeDef.ElementCount : Integer read GetElementCount;