clang-format the moved files

Author: kroening

jbmc/src/java_bytecode/assignments_from_json.cpp

@@ -16,11 +16,11 @@ Author: Diffblue Ltd.
 #include <util/symbol_table_base.h>
 #include <util/unicode.h>
 
-#include <ansi-c/allocate_objects.h>
-
 #include <goto-programs/class_identifier.h>
 #include <goto-programs/goto_instruction_code.h>
 
+#include <ansi-c/allocate_objects.h>
+
 #include "ci_lazy_methods_needed.h"
 #include "code_with_references.h"
 #include "java_static_initializers.h"