#define _XBT_CONTEXT_JAVA_H
#include <xbt/misc.h>
-#include <simix/context.h>
+#include <simgrid/simix.h>
#include "jmsg.h"
#include "jmsg_process.h"
} s_smx_ctx_java_t, *smx_ctx_java_t;
void SIMIX_ctx_java_factory_init(smx_context_factory_t *factory);
+void smx_ctx_java_stop(smx_context_t context);
SG_END_DECL()