https://dogboss.pages.dev/posts/10-best-java-ides-for-linux784462/