Robert Cartwright

DrJava is an open source app that is not licensed with Apple so Apple now generates the bogus message that you reported. I have not personally used Macs in well over a decade but I have seen many reports of the same problem by other Mac users. The universal solution is to download the jar distribution and execute it from the command line (in a terminal) using the command java -jar drjava.jar You must run a version of Java consonant with the date of the release that you are using. I recommend downloading...

There is a more recent build under the name drjava.jar at https://www.cs.rice.edu/~javaplt/drjavarice/drjava.jar that fixes a bug we encountered with jacoco code coverage. I am using a Windows 10 laptop as my primary machine which does not interoperate very well with github. I will try to push our local repository to github shortly. In the meantime, I recommend the build shown above. DrJava is little used at Rice these days.

Hi Stella, When you type the command java -jar drjava-beta-20160913-225446.jar the current working directory of your terminal must contain the file drjava-beta-20160913-225446.jar. You either need to change your current directory (using the cd command) to the directory [folder] containing the jar file for drjava or you need to provide a relative path (from the current directory) to the jar file. Apple has been hostile to open source Java apps (typically distributed as jar files), so I don't know...

This is a continuing saga from Apple. It has happened several times in the past decade. Apple wants to lock down Macs so that no software other than what Apple licenses (for a fee) can run on their machines. My recollection is that there was a workaround involving the security manager, which may still work and should be accessible in the support logs at the DrJava sourceforge website, Unfortunately, I don't remember the details. I presume that you have installed a Java 8 JDK or JRE and that you are...

Yes. You can edit the DrJava preferences to enlarge the fonts, but I am not certain that all fonts are configurable. Let me know what happens. I am not aware of any users' experiences using DrJava on a 4K screen. On my HD resolution screen, the fonts are quite small so enlarging them using preferences is a good idea. The defaults assume much less resolution. On Fri, Nov 6, 2020 at 3:32 AM Tyler Sagen ck-3030@users.sourceforge.net wrote: [support-requests:#365] https://sourceforge.net/p/drjava/support-requests/365/...

Even in an era where updates to DrJava are infrequent, your version of DrJava (drjava-20160913-225446) [Sept 13, 2016] is very old. Please download https://www.cs.rice.edu/~javaplt/drjavarice/drjava.jar and try installing a Java 8 JDK which is the configuration I generally use. Many bugs have been fixed dand support for Java 8 has been added in DrJava. I no longer even have a Java 7 JRE or JDK installed on any of my various machines. I use Corretto 8 JDK on Windows 10 and the standard open source...

I don't have enough informatoin to understand the bug. You are using an old version of DrJava (built in 201) with problematic support for Java 7 and 8, and an Oracle Java 7 JVM that is no longer supported. If you can replicate the bug running Amazon Corretto JDK 8 Java distribution and the latest version of DrJava available from www.cs.rice.edu/~javaplt/drjavarice, I will look at it and see if I can fix it.

I just saw this support request. I somehow missed seeing it earlier. You are running an ancient version of DrJava (from 2012!) that I don't think is compatible with Java 8. I also do not what compiler you are using. DrJava searches for all the Java compiler it can find in the usual places on your platform, but I doubt that the 2012 edition will load a Java 8 compiler (which should be located in the tools.jar file in your Java JDK 8 installation. I suspect DrJava is finding an older compiler somewhere...