for (int j = i + 1; j < 3; j++) threeBiggest[j] = threeBiggest[j-1];
for (int j = threeBiggest.length - 1; j > i; j--) threeBiggest[j] = threeBiggest[j - 1];
    private static void addToThreeBiggest(Repetition[] threeBiggest,                                          int line,                                          int repetitions)    {	for (int i = 0; i < 3; i++) {            if (repetitions == threeBiggest[i].repetitions)            {                threeBiggest[i].addLine(line);                break;            }	    if (repetitions > threeBiggest[i].repetitions) {                // shuffle the remainder down:                for (int j = i + 1; j < 3; j++)                    threeBiggest[j] = threeBiggest[j-1];                // add the new one:		threeBiggest[i] = new Repetition(line, repetitions);		break;	    }	}    }