final public string $name; } ]]>