A Java library that simplifies generating proxies for annotated interfaces