protected void finalize() throws Throwable {
// flush the logs
close();
// do super.finalize, just for good style
super.finalize();
}
private void exitWithError() {
// flush logs first
close();
// exit
System.exit(1);
}