Update NodoDoble.java