Merge pull request #1008 from vaibhavbsharma/nanoxml_eqchk-2

[Java] Adding a 2nd property on NanoXML

Author: dbeyer

java/ReachSafety-Java.set

@@ -5,6 +5,7 @@ java-ranger-regression/*.yml
 java-ranger-regression/WBS/*.yml
 java-ranger-regression/siena_eqchk/*.yml
 java-ranger-regression/replace5_eqchk/*.yml
+java-ranger-regression/nanoxml_eqchk/*.yml
 MinePump/*.yml
 algorithms/*.yml
 juliet-java/*.yml

java/java-ranger-regression/nanoxml_eqchk/Main.java

@@ -6,7 +6,6 @@ public class DumpXML {
 
 	public static int numIdentifiers;
 	public static int mainProcess(char i0, char i1, char i2, char i3, char i4, char i5, char i6, char i7, char i8){
-		numIdentifiers = 0; // commenting this line out causes the equivalence check to fail
 		char[] str = new char[12];
 		str[0] = i0;
 		str[1] = i1;