VerticleManager->PlatformManager, separating out clanly, ServiceLoader for PlatformManagerFactory