Seems `JCAnnotatedType` is deprecated