A finite-state machine (automaton) implementation in Java for Android