Fix include statements in java_bytecode_instrument

Author: antlechner

src/java_bytecode/java_bytecode_instrument.cpp

@@ -8,6 +8,8 @@ Date:   June 2017
 
 \*******************************************************************/
 
+#include "java_bytecode_instrument.h"
+
 #include <util/arith_tools.h>
 #include <util/fresh_symbol.h>
 #include <util/std_code.h>
@@ -18,7 +20,6 @@ Date:   June 2017
 #include <goto-programs/goto_functions.h>
 
 #include "java_bytecode_convert_class.h"
-#include "java_bytecode_instrument.h"
 #include "java_entry_point.h"
 #include "java_root_class.h"
 #include "java_types.h"

src/java_bytecode/java_bytecode_instrument.h

@@ -11,6 +11,10 @@ Date:   June 2017
 #ifndef CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_INSTRUMENT_H
 #define CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_INSTRUMENT_H
 
+#include <util/symbol_table.h>
+#include <util/message.h>
+#include <util/irep.h>
+
 void java_bytecode_instrument_symbol(
   symbol_table_baset &symbol_table,
   symbolt &symbol,