Source position: jstree.pp line 1025
public property TJSExportStatement.ExportNames : TJSExportNameElements read GetNamedExports;