@@ -0,0 +1,515 @@
+public class SatIssue141 %7B%0A%0A    public static void sort(Object%5B%5D a) %7B%0A        Object%5B%5D aux = (Object%5B%5D) a.clone();%0A        mergeSort(aux);%0A    %7D%0A%0A    private static void mergeSort(Object%5B%5D src) %7B%0A    %7D%0A%0A    public static void main(String%5B%5D args) %7B%0A%09java.util.Random r = new java.util.Random();%0A        final int N = r.nextInt(100);%0A        if (N %3C 1) return;%0A%0A        Integer data%5B%5D = new Integer%5BN%5D;%0A        for (int i = 0; i %3C N; i++) %7B%0A            data%5Bi%5D = r.nextInt(); %0A        %7D%0A%0A        sort(data);%0A    %7D%0A%0A%7D%0A

Test for Issue141