public interface IJadexPlatformManager extends JadexPlatformOptions
ALL_KERNELS, DEFAULT_KERNELS, KERNEL_BDI, KERNEL_BDIV3, KERNEL_BPMN, KERNEL_COMPONENT, KERNEL_MICRO