debug verif.java