void () { doMemberTest(""" public class ArrayCopyExample { private double[] margins = new double[4]; public ArrayCopyExample() {} public ArrayCopyExample(ArrayCopyExample original) { System.arraycopy(original.margins, 0, margins, 0, 4); } }"""); }