[RESOLVIDO]Excluir a primeira linha do arquivo .txt

É um arquivo muito grande? Se não, daria pra fazer assim:

import java.io.IOException;
import java.nio.file.Files;
import java.nio.file.Path;
import java.util.List;

public class Main {
  public static void main(String... args) throws IOException {
    Path path = Path.of("text.txt");
    List<String> lines = Files.readAllLines(path).stream().skip(1).toList();
    Files.write(path, lines);
  }
}

está dado erro no List e no toList(), o List: por não ser generico e nao poder ser parametrizado pelo
e o toList() não é definido pelo tipo Stream

Deve ser a versão do Java. O código abaixo roda em Java 8:

Path path = Paths.get("text.txt");
List<String> lines = Files.readAllLines(path).stream().skip(1).collect(Collectors.toList());
Files.write(path, lines);

o List está com esse erro ainda
The type List is not generic; it cannot be parameterized
with arguments < String >
Saberia oq é?

Eu poderia ver seu código todo incluindo os imports? Tô achando que tem algum import errado.

VOCE É GENIO, MUITO OBRIGADO CONSEGUI