[Jmlspecs-commits] JML2/org/jmlspecs/jmlrac ConstructorWrapper.java, 1.24.2.1, 1.24.2.2 TransMethodBody.java, 1.52.2.13, 1.52.2.14

[<de...@us...>]

Update of /cvsroot/jmlspecs/JML2/org/jmlspecs/jmlrac
In directory sc8-pr-cvs17.sourceforge.net:/tmp/cvs-serv2206

Modified Files:
      Tag: waraujo_concurrency
	ConstructorWrapper.java TransMethodBody.java 
Log Message:
Fixing construction and RAC code execution for partially constructed objects