gistfile1.txt

public static String toString(int[] a) {
    int iMax = a.length - 1;
    if (iMax == -1)
        return "[]";

    int size = 2 * a.length;
    for (int j = 0; j < a.length; j++) {
        size += stringSize(a[j]);
    }

    if (COMPACT_STRINGS) {
        byte[] buf = new byte[size];
        buf[0] = '[';
        int c = 1;
        for (int i = 0; ; i++) {
            int e = a[i];
            c += stringSize(e);
            getChars(e, c, buf);
            if (i == iMax) {
                buf[size-1] = ']';
                return new String(buf, LATIN1);
            }
            buf[c++] = ',';
            buf[c++] = ' ';
        }
    } else {
       //TODO implement
    }
}