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