Test the listener BudgetChecker (see Section 4.2 of the notes). Use the JPF framework (TestJPF). To receive feedback, submit your code before March 5 using the submit command:

submit 4315 lab4 <name of class>.java