

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 {}
