update file upload servlet to retrieve the original file name