A tool for detecting XXE vulnerabilities in Java applications