Merge pull request #1014 from smowton/smowton/cleanup/stray_include

Remove stray include accidentally merged from master

Author: smowton

src/java_bytecode/java_bytecode_convert_class.h

@@ -17,7 +17,6 @@ Author: Daniel Kroening, [email protected]
 
 #include "java_bytecode_parse_tree.h"
 #include "java_bytecode_language.h"
-#include "character_refine_preprocess.h"
 
 bool java_bytecode_convert_class(
   const java_bytecode_parse_treet &parse_tree,