import java.util.*;
import Jakarta.util.FixDosOutputStream;
import Jakarta.util.Util2;
import java.io.*;
/******************** ResultException *********************
* @layer<Basemm>
*/
// thrown when result of tool has been computed
public class ResultException extends RuntimeException {}