package java.lang;
import checkers.nullness.quals.*;
@checkers.quals.DefaultQualifier("checkers.nullness.quals.NonNull")
public class ThreadDeath extends Error{
private static final long serialVersionUID = 0L;
public ThreadDeath() { throw new RuntimeException("skeleton method"); }
}