Download lab8.zip. This file contains some code to solve the producer-consumer problem. The corresponding API can be found here. Implement the class BoundedBuffer. Use Java PathFinder to check some properties of the code. You may modify the code (add, for example, ghost variables), develop a listener, etc. Describe which properties you have checked, the changes you have made to the code, etc.

To receive feedback, submit your modified and/or new Java code, the application properties file and a file containing a description of how you addressed the problem, by using

submit 4315 lab8 <name of file>

before Thursday April 2.