Rename Vertex to Vertex.java