Remove locale-dependent /English watching of INFO prefix in jenkins log.