Update Android page to always output resource-ids

Fix #96