missing iterator header

Author: Daniel Kroening

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)
 {