Nested Classes 

Modifier and Type	Class	Description
public final class	FromScriptException.UnrecognizedScript
public final class	FromScriptException.WitnessProgram
public final class	FromScriptException.WitnessVersion
public final class	FromScriptException.OtherFromScriptErr
public class	FromScriptException.ErrorHandler