Issue #94: created android.UITools, moved some elements from OurGLTools