Test case and fix for logging multiple array params to a non-det method

Author: jon-bell

Code/ChroniclerJ/src/main/java/edu/columbia/cs/psl/chroniclerj/visitor/NonDeterministicLoggingClassVisitor.java

@@ -205,8 +205,6 @@ else if (mi.getOpcode() != Opcodes.INVOKESTATIC) {
 
                         }
                         caa.visitVarInsn(args[i].getOpcode(ILOAD), j);
-                        j+=args[i].getSize();
-                        // - (mi.getOpcode() == Opcodes.INVOKESTATIC ? 0 : 1)
                         caa.logValueAtTopOfStackToArray(MethodCall.getLogClassName(args[i]),
                                 "aLog", "[Ljava/lang/Object;", args[i], true, mi.owner + "."
                                         + mi.name + "->_" + i + "\t" + args[i].getDescriptor()

Code/ChroniclerJ/src/test/java/edu/columbia/cs/psl/test/chroniclerj/CreateMBeanITCase.java

@@ -0,0 +1,13 @@
+package edu.columbia.cs.psl.test.chroniclerj;
+
+import javax.management.MBeanServerFactory;
+
+import org.junit.Test;
+
+public class CreateMBeanITCase {
+	@Test
+	public void testCallCreateMBeanDoesntCrashInstrumentation() throws Exception {
+		if(1!=1)
+			MBeanServerFactory.createMBeanServer().createMBean(null, null, null, null, null);
+	}
+}