Source position: jstree.pp line 1230
public property TJSTypedParams.Names[aIndex: Integer] : TJSString read GetNames;