Subject Name: clean
Souce Code Language: Java
Number of Versions: 1
Number of Variants: 1
   - orig
Error expected:
   orig: Deadlock
Non-determinisitc: yes

***orig***
LOC: 51 (noncomment Java source code)
Classes: 4
Methods: 8
Fields: 10
Statements: 42
wait() call: 1
notifyAll() call: 1
Sync blocks: 2
Thread start() calls: 2
New expressions: 5

The parameters to the program are: number of first task threads (iFirstTask=1),
number of second task threads (iSecondTask=1), and number of iterations 
(iterations=12). NOTE: all of the arguments must be specified although default
values are specified in the Main class.

The clean program is based on the bug patterns reported in:

E. Farchi, Y. Nir, and S. Ur. "Concurrent bug patterns and how to test them."
In Proceedings of the 9th International Conference on Computer Aided 
Verification, June 1997.
