Source position: jstree.pp line 1180
public property TElementNodeEnumerator.Current : TJSElementNode read GetCurrent;