explicit IDs for java annotations