This package contains implementations of the @DefaultSeverity and @ProblemClassification Java annotations that can be used to annotate a compiler problem class.