I had to make a bugfix in the Mint compiler (I will make a new release soon), and I don’t quite know why we never ran into this. Perhaps the Sun JDK implements the compiler in a slightly different way than OpenJDK or Apple? We forgot to make the bracket statement case a no-op in the TreeScanner, and that caused an assertion, but only on Windows. I’m convinced, though, that this fix is correct, so I’m making it without investigating this difference further.
DrJava still cannot run Mint programs, but that shouldn’t be too difficult.
The changes are minimal and only matter inside of DrJava or when used on the Linux command line.