<?php
	header("Location: http://archive.eclipse.org/eclipse/downloads/");
?>