Fix for #1233: final annotation types
Test for #1233: final annotation types