The json modules are needed for the Android patcher
Android GUI: Get patcher information from jsondump.py
jsondump.py: Dump devices
argparse, gettext, and textwrap are needed in Android
Android GUI: Add multiple device support