annotations fix

Fixes errors in JdkAnnotationsValidityTest