Java API for virtual machine managers