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