JFlex

Class SilentExit


public class SilentExit
extends Exception

Signals a silent exit (no statistics printout).