[Javapathfinder-devel] javapathfinder/src/gov/nasa/jpf Config.java,1.6,1.7

[pcm <pcm...@us...>]

Update of /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv1579/src/gov/nasa/jpf

Modified Files:
	Config.java 
Log Message:
this is NOT YET the big ChoceGenerator merge! But since we presented it at Spin, and we already use
it, this adds some data CGs (i.e. ThreadChoiceGenerators are not yet supported in this version).

Some things will get refactored (mostly the CG creation), but the CG interface itself will be
compatible, i.e. you can start to write some of them