I've put a webrev here with the proposed changes here:
http://cr.openjdk.java.net/~alanb/8006524/webrev/
In summary, it makes it clear that @ConstructorProperties is not
applicable when the runtime does not have this annotation. In the future
then it might may be desirable to consider adding
javax.management.ConstructorProperties and supporting both annotations.
I don't propose to do this now because it would further consideration,
including perhaps supporting both annotations in the java.beans
persistence support.
Thanks,
Alan.