Java Dijkstras implementation