A random color generator for Android