NPE guards in getProductVersion()