Fix regression test CarteTest.java