In order to fix the Bug I reported I will have to set up the Android Development Environment on my Ubuntu system. But luckily this is explained on the Get Source page on http://source.android.com/ a bit hidden is also the page Using Eclipse. While the documentation isn’t super easy I believe I will wrap my head around it and be able to fix the Menu bug. At least I have isolated the class that contains the bug, which is IconMenuItemView. So the next step is really just building, debugging and fixing. It’s easy as 1-2-3.