private static String arrayToString_4(int[] a) {
        String ret;

        if (a == null) {
            ret = "";

        } else {
            ret = a[0] + SkinConstants.SPLIT2 + a[1] + SkinConstants.SPLIT2 + a[2] + SkinConstants.SPLIT2 + a[3] + SkinConstants.SPLIT2;
        }

        return ret;
    }