Using the tips recommended by VS code, adding the statement "package Java" before the "import java.util.*" statement seems to have solved the problem