Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Why do I get a ZipException when trying to run DrJava?

April 26, 2017drjava run

0

Posted

Why do I get a ZipException when trying to run DrJava?

1 Answer

0

Posted

If you get the following error message when running DrJava for the first time, your copy of DrJava is likely corrupted. Try downloading DrJava again, perhaps using the “more download options” link on our home page. Exception in thread “main” java.util.zip.ZipException: error in opening zip file at java.util.zip.ZipFile.open(Native Method) at java.util.zip.ZipFile.(ZipFile.java:112) at java.util.jar.JarFile.(JarFile.java:117) at java.util.jar.JarFile.(JarFile.