Source position: jstree.pp line 1593
public property TJSObjectTypeDef.Name : TJSString read FName write FName;