getExtension      124 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/ExampleFileFilter.java 	    String extension = getExtension(f);
getExtension      125 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/ExampleFileFilter.java 	    if(extension != null && filters.get(getExtension(f)) != null) {
getExtension      757 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/GrpSim.java 						File f2 = new File(f.getAbsolutePath() + filter.getExtension());
getExtension      172 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/VecPr/VectorFrame.java 							File f2 = new File(f.getAbsolutePath() + filter.getExtension());