getting the list of files with a specific extension from java