Rename tesVerifica to tesVerifica.java