Merge branch 'jonathan' into kevin

Conflicts:
	Kruskal$WeightedEdge.class
	Kruskal.class
	ListSorts.class
	graph/Edge.java
	graph/Vertex.java
	graph/WUGraph.java
DONE
Final version