A silly Java implementation of a DFA abstraction of a vending machine