Android 4.2 release 1
Merge "Improve the Device menu"