change indent to spaces in Eclipse