@Documented @Retention(value=RUNTIME) @Target(value=METHOD) public @interface DischargesObligation
SpotBugs is licensed under the LGPL.