link to VertexType.java