1: …… 2: public void f(Properties request) { 3: …… 4: String name = request.getProperty("user"); 5: if ( name != null && !"".equals(name) ) { 6: name = name.replaceAll("/" , "" ); 7: name = name.replaceAll("\\" , "" ); 8: name = name.replaceAll(".", " " ); 9: name = name.replaceAll("&" , " "); 10: name = name + "-report" ; 11: File file = new File("/usr/local/tmp/" + name); 12: if (file != null) file.delete(); 13: } 14: …… 15: }