I you want ECJ to shut down gracefully, you can call  
EvolutionState.finish(), then call Evolve.cleanup(state), then do  
System.exit(0).  But if you're just quitting so you an start later  
from a checkpoint, you can just call System.exit(0) and be done with  
it.  I'd call Evolve.cleanup(state) first though to flush the  
streams.  No big deal one way or the other however.

On Jun 1, 2008, at 10:31 AM, Shane wrote:

> Is there a graceful way to halt ecj other then killing the  
> process?  I need to stop it and restart later from a checkpoint.