undo spacing trim by Eclipse