Source position: jstree.pp line 1309
public property TJSNamedParamTypeDef.ParamName : TJSTypeDef read FName write FName;