Android GUI: Eclipse auto-format