Utility code for Android.