Source position: jstree.pp line 1662
public property TJSClassDeclaration.ImplementsTypes : TJSElementNodes read FImplementsTypes write FImplementsTypes;