get device ids
Merge remote-tracking branch
'origin/john_version_1_wenhao_copy_for_installing_the_soot_app_for_traversal'
into john_version_1

Conflicts:
	src/john/runtimeValidation/MainMain.java