Simplify parsing of java-threading option

Author: peterschrammel

jbmc/src/java_bytecode/java_bytecode_language.cpp

@@ -48,7 +48,9 @@ void java_bytecode_languaget::get_language_options(const cmdlinet &cmd)
   string_refinement_enabled=cmd.isset("refine-strings");
   throw_runtime_exceptions=cmd.isset("java-throw-runtime-exceptions");
   assert_uncaught_exceptions = !cmd.isset("no-uncaught-exception-check");
-  if(cmd.isset("java-max-input-array-length"))
+  threading_support = cmd.isset("java-threading");
+ 
+ if(cmd.isset("java-max-input-array-length"))
     object_factory_parameters.max_nondet_array_length=
       std::stoi(cmd.get_value("java-max-input-array-length"));
   if(cmd.isset("java-max-input-tree-depth"))
@@ -70,11 +72,6 @@ void java_bytecode_languaget::get_language_options(const cmdlinet &cmd)
     lazy_methods_mode=LAZY_METHODS_MODE_CONTEXT_INSENSITIVE;
   else
     lazy_methods_mode=LAZY_METHODS_MODE_EAGER;
-
-  if(cmd.isset("java-threading"))
-    threading_support = true;
-  else
-    threading_support = false;
 
   if(throw_runtime_exceptions)
   {