Added logging.properties option, for debugging.