Misc utilities to work on Android development