Fix up the path that is received from JFileChooser, if necessary
Double clicking a directory causes a repeated name, for some reason
such as a:\b\c\c when a:\b\c was chosen
Comparator to compare GraphVertex objects by their visitation times in a
search; for example, it could compare the finishing times produced
by DepthFirstSearch.