Source position: jstree.pp line 1014
public property TJSExportNameElements.ExportedNames[AIndex: Integer] : TJSExportNameElement read GetE; default;