Updated version numbers to 9.4.0