Add tests of unicode character support in Java class file names#8768

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-628-unicodetautschnig/cbmc:fix-628-unicodeCopy head branch name to clipboard