https://kodejava.org/how-do-i-get-the-extension-of-a-file/