Source position: jstree.pp line 1268
public property TJSNamedElement.Name : TJSString read FName write FName;