revRotate         302 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/VecPr/Vertex.java 	public void revRotate(double rx, double ry, double rz) {
revRotate         349 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/VecPr/Vertex.java 	public void revRotate(Vertex v) {