Demoted again for now. This build-depends on classpath, and I'm not sure whether we want this in main. Matthias?
Demoted again for now. This build-depends on classpath, and I'm not sure whether we want this in main. Matthias?