fiddled around with Eclipse settings