Update applied to Pais.java and PaisTest.java