Some additions to logging.properties