Annotations for jugger_generator.
This package does nothing without jugger_generator.