Simply put, you can use any IDE that supports Maven.
More than half of the students are using IntelliJ and the others are mostly using Eclipse.
I'm always recording the material with a very minimal use of any specific IDE features, exactly so that everyone can use their favorite IDE :)