Oh interesting, so DeprecatedAttr is java-defined?