Update for IBM

Signed-off-by: droy <denis.roy@eclipse-foundation.org>
diff --git a/distros/distros.php b/distros/distros.php
index 652f41f..79d0a3d 100644
--- a/distros/distros.php
+++ b/distros/distros.php
@@ -42,7 +42,7 @@
 	$IBM = new companyInfo (

 		"IBM",

 		"bluemix-icon-64x.png",

-		"4.7.1a",

+		"4.7.2",

 		"jee,committers,java,cpp,php,installer,javascript",

 		"Blazingly fast downloads hosted by IBM Bluemix.",

 		"http://eclipse.org/go/DISTRO_IBM",