updated eclipse 4.2 repository to archive