He remembered a "Pro Tip" from a senior dev: students and teachers can actually get the IntelliJ IDEA Ultimate