LineSet (@NotNull IntList indices) { if (indices.isEmpty()) { return this; } if (indices.size() == 1) { int index = indices.getInt(0); if (isLastEmptyLine(index) || isModified(index)) return this; } byte[] flags = myFlags.clone(); for (int i=0; i<indices.size();i++) { int index = indices.getInt(i); flags[index] |= MODIFIED_MASK; } return new LineSet(myStarts, flags, myLength); }