diff --git a/src/java_bytecode/generate_java_generic_type.cpp b/src/java_bytecode/generate_java_generic_type.cpp
index 00f45eb8ec9..87e8ba2012c 100644
--- a/src/java_bytecode/generate_java_generic_type.cpp
+++ b/src/java_bytecode/generate_java_generic_type.cpp
@@ -6,6 +6,9 @@
  Author: DiffBlue Limited. All rights reserved.
 
 \*******************************************************************/
+
+#include <iterator>
+
 #include "generate_java_generic_type.h"
 #include <util/namespace.h>
 #include <java_bytecode/java_types.h>
diff --git a/src/java_bytecode/java_types.cpp b/src/java_bytecode/java_types.cpp
index 3e9f3925274..875bd09e181 100644
--- a/src/java_bytecode/java_types.cpp
+++ b/src/java_bytecode/java_types.cpp
@@ -7,6 +7,7 @@ Author: Daniel Kroening, kroening@kroening.com
 \*******************************************************************/
 
 #include <cctype>
+#include <iterator>
 
 #include <util/prefix.h>
 #include <util/std_types.h>