diff --git a/build.xml b/build.xml
index 28fa4d89..2739c52e 100644
--- a/build.xml
+++ b/build.xml
@@ -574,6 +574,7 @@
 	<!--
 		Utility to remove the old Eduserv gateway certificate.
 	-->
+	<!--
 	<target name="remove.old.eduserv.cert">
 		<echo>Removing old Eduserv gateway certificate</echo>
 		<for param="file">
@@ -589,10 +590,12 @@
 			</sequential>
 		</for>
 	</target>
+	-->
 	
 	<!--
 		Utility to add the second Eduserv gateway certificate.
 	-->
+	<!--
 	<target name="add.second.eduserv.cert">
 		<echo>Adding second Eduserv gateway certificate</echo>
 		<for param="file">
@@ -608,6 +611,7 @@
 			</sequential>
 		</for>
 	</target>
+	-->
 	
 	<!--
 		Extract embedded certificates