Eclipse for 6.031 Install Eclipse with plug-ins and configuration for MIT 6.031 Software Construction