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