Generating resource IDs for true/false button widgets by adding android:id attribute to each widget's definition