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    }