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