Clang format include order.

Author: thomasspriggs

jbmc/unit/java-testing-utils/load_java_class.cpp

@@ -8,10 +8,10 @@
 
 #include "load_java_class.h"
 
-#include <testing-utils/free_form_cmdline.h>
+#include <iostream>
 #include <testing-utils/catch.hpp>
+#include <testing-utils/free_form_cmdline.h>
 #include <testing-utils/message.h>
-#include <iostream>
 
 #include <util/config.h>
 #include <util/suffix.h>

jbmc/unit/java_bytecode/java_bytecode_parse_lambdas/java_bytecode_parse_lambda_method_table.cpp

@@ -12,9 +12,9 @@
 
 #include <java-testing-utils/require_parse_tree.h>
 
+#include <java_bytecode/java_bytecode_parser.h>
 #include <testing-utils/catch.hpp>
 #include <testing-utils/message.h>
-#include <java_bytecode/java_bytecode_parser.h>
 
 #include <java_bytecode/java_bytecode_parse_tree.h>
 #include <java_bytecode/java_types.h>

jbmc/unit/java_bytecode/java_replace_nondet/replace_nondet.cpp

@@ -7,9 +7,9 @@
 
 \*******************************************************************/
 
+#include <java-testing-utils/load_java_class.h>
 #include <testing-utils/catch.hpp>
 #include <testing-utils/message.h>
-#include <java-testing-utils/load_java_class.h>
 
 #include <goto-programs/goto_convert_functions.h>
 #include <goto-programs/remove_virtual_functions.h>

jbmc/unit/java_bytecode/java_virtual_functions/virtual_functions.cpp

@@ -6,9 +6,9 @@
 
 \*******************************************************************/
 
+#include <java-testing-utils/load_java_class.h>
 #include <testing-utils/catch.hpp>
 #include <testing-utils/message.h>
-#include <java-testing-utils/load_java_class.h>
 
 #include <goto-programs/goto_convert_functions.h>
 #include <goto-programs/remove_virtual_functions.h>