https://gpttutorpro.com/choosing-the-best-java-ide-guide-drjava-ide/