+// IMPORTANT: inclusion order: always include gcjh'ed headers first, then superclass cc's, then system headers
+#undef file
#include <stdint.h>
-#include "X11.cc"
-
+#include <java/lang/Class.h>
+#include <org/ibex/js/JS.h>
+#include <org/ibex/util/Log.h>
#include <org/ibex/plat/Linux.h>
+#include "X11.cc"
+#include <stdint.h>
// we love libgcj!
extern const char **_Jv_argv;