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