moreinfo/names.php - www.eclipse.org/downloads - Git at Google

 <?php

 	$javaTitle = "Eclipse&nbsp;IDE for Java&nbsp;Developers";
 	$jeeTitle = "Eclipse&nbsp;IDE for Java&nbsp;EE&nbsp;Developers";
 	$rcpTitle = "Eclipse for RCP/Plug-in&nbsp;Developers";
 	$cTitle = "Eclipse&nbsp;IDE for C/C++&nbsp;Developers";
 	$classicTitle = "Eclipse Classic 3.3.2";

 ?>
	<?php

	$javaTitle = "Eclipse IDE for Java Developers";
	$jeeTitle = "Eclipse IDE for Java EE Developers";
	$rcpTitle = "Eclipse for RCP/Plug-in Developers";
	$cTitle = "Eclipse IDE for C/C++ Developers";
	$classicTitle = "Eclipse Classic 3.3.2";

	?>