[TIDOC-1774] androidView property declarable in Alloy XML markup