gov.nasa.jpf.util

Class LogHandler.DefaultConsoleHandler