[Javapathfinder-devel] /javapathfinder/src/gov/nasa/jpf/jvm JVM.java,1.7,1.8

[John P. <joh...@us...>]

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

Modified Files:
	JVM.java 
Log Message:
* added import with class move to jvm.choice

Index: JVM.java
===================================================================
RCS file: /cvsroot/javapathfinder//javapathfinder/src/gov/nasa/jpf/jvm/JVM.java,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -d -r1.7 -r1.8
--- JVM.java	7 Sep 2005 22:08:20 -0000	1.7
+++ JVM.java	8 Sep 2005 23:27:16 -0000	1.8
@@ -48,6 +48,7 @@
 
 import gov.nasa.jpf.jvm.bytecode.FieldInstruction;
 import gov.nasa.jpf.jvm.bytecode.Instruction;
+//import gov.nasa.jpf.jvm.choice.IntIntervalGenerator;
 
 
 /**