added an unnecessary explicit cast because the Jenkins java compiler is unhappy otherwise?