I found the following problem in the project setup for IN4303, which seems to be a general problem in Spoofax:

The MiniJava solution for code generation re-uses code generation strategies from Jasmin. To make this work, the MiniJava project declares source and compile dependencies on Jasmin. Projects for MiniJava examples and tests also need to declare a compile dependency on Jasmin, otherwise code generation yields a MetaborgException, since no Jasmin language is loaded. This is particularly surprising for code generation builders, which only use Jasmin internally, for example the class generation builder. I would expect that a language user should only specify a dependency on the language she is obviously using, without a need to repeat the (internal) dependencies of this language.

Submitted by Guido Wachsmuth on 2 March 2017 at 15:24