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.