missing <iterator> headers

jbmc/src/java_bytecode/generic_parameter_specialization_map_keys.cpp

@@ -2,6 +2,8 @@
 
 #include "generic_parameter_specialization_map_keys.h"
 
+#include <iterator>
+
 /// \param type Source type
 /// \return The vector of implicitly generic and (explicitly) generic type
 /// parameters of the given type.

jbmc/src/java_bytecode/java_qualifiers.cpp

@@ -4,10 +4,13 @@
 /// Java-specific type qualifiers
 
 #include "java_qualifiers.h"
+
 #include <sstream>
+#include <iterator>
+
 #include <util/make_unique.h>
-#include "expr2java.h"
 
+#include "expr2java.h"
 
 java_qualifierst &java_qualifierst::operator=(const java_qualifierst &other)
 {

jbmc/unit/java-testing-utils/require_parse_tree.cpp

@@ -8,6 +8,8 @@
 
 #include "require_parse_tree.h"
 
+#include <iterator>
+
 /// Find in the parsed class a specific entry within the
 /// lambda_method_handle_map with a matching descriptor. Will fail if no
 /// matching lambda entry found.

src/goto-instrument/cover_instrument_mcdc.cpp

@@ -14,6 +14,7 @@ Author: Daniel Kroening
 #include <langapi/language_util.h>
 
 #include <algorithm>
+#include <iterator>
 
 #include "cover_util.h"
 

src/solvers/refinement/string_builtin_function.cpp

@@ -4,6 +4,8 @@
 #include "string_builtin_function.h"
 
 #include <algorithm>
+#include <iterator>
+
 #include "string_constraint_generator.h"
 
 /// Get the valuation of the string, given a valuation