AnnaBot: A Static Verifier for Java Annotation Usage

Figure 1

Java SE and EE Annotations applied to a SOAP Web Service class.