JavaContext* create_context(std::function<void()> code,
void_pfn_smxprocess_t, smx_actor_t process) override;
void run_all() override;
JavaContext* create_context(std::function<void()> code,
void_pfn_smxprocess_t, smx_actor_t process) override;
void run_all() override;