Adding a variable conflict tracker/listener; this is useful for both device and globa...
[jpf-core.git] / examples / DiningPhil.jpf
examples/DiningPhil.jpf