The DrJava built from my trunk-mint branch now manages to compile Mint programs on all three major operating systems: Windows, Mac and Linux.
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 new release of the Mint compiler is available now: JavaMint-r14089 (with source).
The changes are minimal and only matter inside of DrJava or when used on the Linux command line.