This has to be reversed, since the Java RTS-Version is now evolving on its own. The templating code for it in Setup.hs can be dropped.