ignore/types: add additional java files
ignore/types: add additional java files

- .jspx for XHTML JSP files
- .properties for Java Properties files (resource bundles, etc.)

Closes #1242

BurntSushi/ripgrep,BurntSushi/ripgrep,BurntSushi/ripgrep,BurntSushi/ripgrep