GitHub fix

Should make GitHub ignore some changes to project setup in Eclipse