Use remove_java_new in jdiff and janalyzer

[owen-mc-diffblue]

jdiff and janalyzer should use the remove_java_new pass.

Note that #3092 improves the documentation of convert_java_nondet and makes it clear that remove_java_new should be run after convert_java_nondet, because convert_java_nondet might introduce extra new statements.

[peterschrammel]

Thanks for this, @owen-jones-diffblue.
The need for this needs to be investigated. It certainly looks incorrect for janalyzer. jdiff can do its analyses without it, at the moment at least.