Source position: jstree.pp line 1421
public property TJSNamedTypedElement.ElementType : TJSTypeDef read FElementType write FElementType;