1: …… 2: public void f(Properties request) { 3: …… 4: String name = request.getProperty("filename" ); 5: if( name != null ) { 6: File file = new File("/usr/local/tmp/" + name); 7: file.delete(); 8: } 9: …… 10: }