getExtension      138 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/ExampleFileFilter.java      public String getExtension(File f) {
getExtension       69 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/FileFilterNime.java 	public String getExtension() { return ext_[0]; }
getExtension       73 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/FileFilterNime.java 	public String getExtension(int num) {