Peço desculpa por ter causado novamente o mesmo insecto! Desta vez, parece que o bug foi causado por entradas do Android que não identificaram correctamente a ordem de entrada.