tell eclipse to use formatting that won't look awful in other editors