Record nondet-static option in java_bytecode_language

Author: svorenova

jbmc/src/java_bytecode/java_bytecode_language.cpp

@@ -157,6 +157,11 @@ void java_bytecode_languaget::get_language_options(const cmdlinet &cmd)
   else
     java_cp_include_files=".*";
 
+  if(cmd.isset("nondet-static"))
+  {
+    nondet_static = true;
+  }
+
   language_options_initialized=true;
 }
 

jbmc/src/java_bytecode/java_bytecode_language.h

@@ -192,6 +192,7 @@ class java_bytecode_languaget:public languaget
   bool throw_assertion_error;
   java_string_library_preprocesst string_preprocess;
   std::string java_cp_include_files;
+  bool nondet_static;
 
   // list of classes to force load even without reference from the entry point
   std::vector<irep_idt> java_load_classes;