diff --git a/src/java_bytecode/java_bytecode_typecheck.cpp b/src/java_bytecode/java_bytecode_typecheck.cpp
index e72b80a885d..9e1c5f2a732 100644
--- a/src/java_bytecode/java_bytecode_typecheck.cpp
+++ b/src/java_bytecode/java_bytecode_typecheck.cpp
@@ -184,3 +184,9 @@ bool java_bytecode_typecheck(
   // fail for now
   return true;
 }
+
+// Static members of java_bytecode_typecheckt:
+std::map<irep_idt, irep_idt>
+  java_bytecode_typecheckt::string_literal_to_symbol_name;
+std::map<irep_idt, size_t>
+  java_bytecode_typecheckt::escaped_string_literal_count;
diff --git a/src/java_bytecode/java_bytecode_typecheck.h b/src/java_bytecode/java_bytecode_typecheck.h
index e22a9db545b..7b12a4ffbb5 100644
--- a/src/java_bytecode/java_bytecode_typecheck.h
+++ b/src/java_bytecode/java_bytecode_typecheck.h
@@ -64,8 +64,8 @@ class java_bytecode_typecheckt:public typecheckt
   virtual std::string to_string(const typet &type);
 
   std::set<irep_idt> already_typechecked;
-  std::map<irep_idt, irep_idt> string_literal_to_symbol_name;
-  std::map<irep_idt, size_t> escaped_string_literal_count;
+  static std::map<irep_idt, irep_idt> string_literal_to_symbol_name;
+  static std::map<irep_idt, size_t> escaped_string_literal_count;
 };
 
 #endif // CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_TYPECHECK_H