00001 package gov.nasa.arc.ase.jpf; 00002 00003 public class InternalErrorException extends RuntimeException { 00004 public InternalErrorException(String s) { 00005 super(s); 00006 } 00007 }