From 84b6f655bf8f6f403cbdef723e79e03a7fc4ef65 Mon Sep 17 00:00:00 2001
From: Nathan Phillips <nathan.phillips@diffblue.com>
Date: Wed, 28 Mar 2018 11:57:59 +0100
Subject: [PATCH] Prevent attempting to load any class twice

---
 src/java_bytecode/java_bytecode_convert_class.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/java_bytecode/java_bytecode_convert_class.cpp b/src/java_bytecode/java_bytecode_convert_class.cpp
index 996d54985ba3..a3c1d8ec351c 100644
--- a/src/java_bytecode/java_bytecode_convert_class.cpp
+++ b/src/java_bytecode/java_bytecode_convert_class.cpp
@@ -185,6 +185,12 @@ void java_bytecode_convert_classt::operator()(
   PRECONDITION(!parse_trees.empty());
   const irep_idt &class_name = parse_trees.front().parsed_class.name;
 
+  if (symbol_table.has_symbol("java::" + id2string(class_name)))
+  {
+    debug() << "Skip class " << class_name << " (already loaded)" << eom;
+    return;
+  }
+
   // Add array types to the symbol table
   add_array_types(symbol_table);