for >=sdk17, they can also generate ids with

View.generateViewId()

. For the sdk15 version though they'd have to just use java.util.Random though