			
			================================
			CHANGES from Java PathFinder 4.1
			================================

All changes listed here applied to original JPF version 4.1, revision 1483 of svn repository 
https://javapathfinder.svn.sourceforge.net/svnroot/javapathfinder/trunk 
last changed on 2009-05-01 01:57:17 -0400 (Fri, 01 May 2009).

The modifications are done by KyungHee Kim(khkim@cise.ufl.edu) on 2009-12-06, 
derived directly from Java PathFinder version 4.1 provided by NASA.

Copyright (C) 2005 United States Government as represented by the
Administrator of the National Aeronautics and Space Administration
(NASA).  All Rights Reserved.

1. src/gov/nasa/jpf/jvm/ThreadInfo.java: line 1647~1653 inserted.
    // By KyungHee
    else {
                String listener = JVM.getVM().getConfig().getProperty("listener");
                if ( listener != null && listener.contains("jrf.listener.JRFListener") )
                        ss.recordExecutionStep(pc);
    }
   // END By KyungHee

2. src/gov/nasa/jpf/jvm/bytecode/FieldInstruction.java: at the end of file
   // By KyungHee
   public String getClassName()
   {
	  return className;
   }
   // END KyungHee

3. src/gov/nasa/jpf/jvm/bytecode/NEW.java : at the end of file 
  // By KyungHee
  public String getClassName()
  {
          return cname;
  }
  // END By KyungHee

4. src/classes/java/util/concurrent/atomic: added following files
	AtomicIntegerArray.java
	AtomicLongArray.java
	AtomicReferenceArray.java

5. src/peers/gov/nasa/jpf/jvm : changed following files to annotate call to jrf.stub.HBmanagementStub
	JPF_java_util_concurrent_atomic_AtomicInteger.java
	JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater.java
	JPF_java_util_concurrent_atomic_AtomicIntegerFieldUpdater.java
	JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater.java
	JPF_java_util_concurrent_atomic_AtomicLong.java
	JPF_sun_misc_Unsafe.java
