Fix up android playground app, mostly.