// (c)1998, Carl Burch. This may not be redistributed
public class RunException extends Exception {
	protected String str;
	public RunException(String s) { super(s); str = s; }
	public String getMessage() { return str; }
}