Some working
Merge branch 'master' of github.com:epintos/fajita

Conflicts:
	fajita/result/fajitaOut/sources/roops/core/objectsInstrumented/OurTests.java
	fajita/result/fajitaOut/sources/roops/utilInstrumented/RoopsArray.java
	fajita/result/tacoOutput/ClassFields.djals
	fajita/result/tacoOutput/JavaPrimitiveIntegerValue.dals
	fajita/result/tacoOutput/JavaPrimitiveIntegerValue.djals
	fajita/result/tacoOutput/output.als
	fajita/result/tacoOutput/output.dals
	fajita/result/tacoOutput/roops/core/objectsInstrumented/OurTests.dals
	fajita/result/tacoOutput/roops/core/objectsInstrumented/OurTests.djals
	fajita/result/tacoOutput/roops/core/objectsInstrumented/OurTests.java
	fajita/result/tacoOutput/roops/utilInstrumented/RoopsArray.djals
	fajita/result/tacoOutput/roops/utilInstrumented/RoopsArray.java
	fajita/result/tacoOutput/test1.sol0.xml
	fajita/roops/roops/core/objects/OurTestsTransformed.java
	jdynalloy/bin/.gitignore
Fixing code