A silly Java implementation of a vending machine DFA abstraction