- Java-API: run all benchmarks in "minibench" even if no "-b" parameter is given
- Java-API: run all benchmarks in "minibench" even if no "-b" parameter is given

l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror