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