$ 0 0 I have checked my Gazebo5 Ubuntu 14.04 installation, but I could not find Gazebo tools such as gzfactory. Are all Gazebo tools deprecated?