Update Digrafo.java