code: public void stopPlatformManager(VertxPlatformConfiguration config) {
  
      Vertx vertx = this.vertxPlatforms.get(config.getVertxPlatformIdentifier());
      if (vertx != null && isVertxHolded(vertx)) {
        log.log(Level.INFO,
            "Stopping Vert.x: " + config.getVertxPlatformIdentifier());
        vertxPlatforms.remove(config.getVertxPlatformIdentifier());
        stopVertx(vertx);
      }
    }
docs: Stops the Vert.x Platform Manager and removes it from cache.
  
  @param config