<?php
	header("location: https://www.eclipse.org/downloads/");
?>