A handwriting recognition keyboard for Android