Eclipse workspace settings suitable for android development. Ready for easy migration between Eclipse installations.