Bump karaf version to 4.2.5

Change-Id: Ib03f6f11e923f38f6d9a2a36f170f17addbbb290
diff --git a/tools/build/envDefaults b/tools/build/envDefaults
index f080778..8eaecba 100644
--- a/tools/build/envDefaults
+++ b/tools/build/envDefaults
@@ -5,7 +5,7 @@
 
 # M2 repository and Karaf gold bits
 export M2_REPO=${M2_REPO:-~/.m2/repository}
-export KARAF_VERSION=4.2.3
+export KARAF_VERSION=4.2.5
 export KARAF_ZIP=${KARAF_ZIP:-~/Downloads/apache-karaf-$KARAF_VERSION.zip}
 export KARAF_TAR=${KARAF_TAR:-~/Downloads/apache-karaf-$KARAF_VERSION.tar.gz}
 export KARAF_DIST=$(basename $KARAF_ZIP .zip)