On the DrJava website it says "On OS X, you can download the drjava-beta-2019-220051 -osx.tar.gz package. You can then run DrJava as a normal application."
The download is a .jar file though. I can open it fine but there's no DrJava icon and it doesn't show up in applications
