Source position: jstree.pp line 1394
public property TJSEnumElement.Name : TJSString read FName write FName;