Enable clang-format for Java#4926

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:clang-format-javatautschnig/cbmc:clang-format-javaCopy head branch name to clipboard