A bunch of tools used in Android development