Thanks. The snapshot version looks good for us - we will test it on a larger scale over the next few days. It seams it's really a duplicate of bug HV-930.
Somehow I cannot reproduce the fallback to Object.equals when comparing the annotation proxies any more. Even with the 5.1.2.Final version.
I suspect a mismatch of library and source version in my debugging environment.