making sure not to place duplicate annotations into a dex file (see #146)