(Android) More elegant way of setting refresh rate