In case classes are dumped
Merge branch 'wip' of github.com:miniboxing/miniboxing-plugin into wip
More control over experiment
The new direct instantiation benchmark