Critical.java

package checkers.util.test;

import checkers.quals.*;

/**
 * Denotes an exception that is particularly important.
 */
@TypeQualifier
@SubtypeOf(Unqualified.class)
public @interface Critical {}