Always load classes with throw_runtime_exceptions

When the command-line option "--throw-runtime-exception" is enabled, the
five runtime exception classes
ArithmeticException
ArrayIndexOutOfBoundsException
ClassCastException
NegativeArraySizeException
NullPointerException
should always be loaded. These five classes might appear without an
explicit call to "throw new" in the program, and would therefore be
ignored by java_class_loader.
These changes fix bug TG-774.

Author: antlechner

src/java_bytecode/java_bytecode_language.cpp

@@ -61,10 +61,19 @@ void java_bytecode_languaget::get_language_options(const cmdlinet &cmd)
   else
     lazy_methods_mode=LAZY_METHODS_MODE_EAGER;
 
+  if(cmd.isset("java-throw-runtime-exceptions"))
+  {
+    throw_runtime_exceptions = true;
+    java_load_classes.insert(
+        java_load_classes.end(),
+        exception_needed_classes.begin(),
+        exception_needed_classes.end());
+  }
   if(cmd.isset("java-load-class"))
   {
-    for(const auto &c : cmd.get_values("java-load-class"))
-      java_load_classes.push_back(c);
+    const auto &values = cmd.get_values("java-load-class");
+    java_load_classes.insert(
+        java_load_classes.end(), values.begin(), values.end());
   }
 
   const std::list<std::string> &extra_entry_points=