Adding tests for Type parameter, wild card, and class types for generic classes.
[jpf-core.git] / examples / test.jpf
examples/test.jpf