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