Updated Dijkstra.java and its Solver.