    001    /* Copyright 2000, 2001, Compaq Computer Corporation */
    002
    003    package javafe.util;
    004
    005    public class AssertionFailureException extends RuntimeException {
    006      private static final long serialVersionUID = 6988776634359056514L;
    007
    008      //@ modifies this.*;
    009      AssertionFailureException() { }
    010
    011      //@ modifies this.*;
    012      AssertionFailureException(String msg) { super(msg); }
    013    }