eclipse xml editor should use spaces