Redistributing annotations.jar

First a question: If I use @Nullable and @NotNull when
developing my application, do I need to distribute the
annotations.jar with my application?

If that should be the case, maybe annotations.jar should
have a more descriptive name. The current one is perhaps
a bit to generic? I see the potential for conflicts.

How about JetBrainsAnnotations.jar?

/Mikael