The following features of JSR175 are not currently supported:

The compiler should record "default" values into the class file.

The compiler should read "default" values from the class file.

An annotation requires all defaulted members to appear zero or once in the
annotation. Non-defaulted members must appear precisely once.