motif du java pour les tests sans contrat