Remove goto_check_java

The Java front-end instruments checks via other means. The only
remaining use of `goto_check_javat` was handling of the `no-assertions`
and `no-assumptions` command-line options, which is now handled by other
means.

Author: tautschnig

jbmc/src/janalyzer/janalyzer_parse_options.h

@@ -108,7 +108,6 @@ Author: Daniel Kroening, [email protected]
 #include <goto-programs/show_goto_functions.h>
 #include <goto-programs/show_properties.h>
 
-#include <java_bytecode/goto_check_java.h>
 #include <java_bytecode/java_bytecode_language.h>
 
 class abstract_goto_modelt;