Remove deprecated --java-throw-runtime-exceptions

Author: peterschrammel

jbmc/src/java_bytecode/java_bytecode_language.cpp

@@ -46,9 +46,7 @@ void java_bytecode_languaget::get_language_options(const cmdlinet &cmd)
 {
   assume_inputs_non_null=cmd.isset("java-assume-inputs-non-null");
   string_refinement_enabled = !cmd.isset("no-refine-strings");
-  throw_runtime_exceptions =
-    cmd.isset("java-throw-runtime-exceptions") || // will go away
-    cmd.isset("throw-runtime-exceptions");
+  throw_runtime_exceptions = cmd.isset("throw-runtime-exceptions");
   assert_uncaught_exceptions = !cmd.isset("disable-uncaught-exception-check");
   throw_assertion_error = cmd.isset("throw-assertion-error");
   threading_support = cmd.isset("java-threading");

jbmc/src/java_bytecode/java_bytecode_language.h

@@ -31,7 +31,6 @@ Author: Daniel Kroening, [email protected]
   "(disable-uncaught-exception-check)" \
   "(throw-assertion-error)" \
   "(java-assume-inputs-non-null)" \
-  "(java-throw-runtime-exceptions)" /* will go away */ \
   "(throw-runtime-exceptions)" \
   "(java-max-input-array-length):" /* will go away */ \
   "(max-nondet-array-length):" \