Add VertxException to PHP namespace.