Made JaCoCo happy.