Commit 49f1b5807de3c2ad2481634af4648cff86817334

DRC 2024-08-20T12:57:37

TJBench.java: Explicitly set restartIntervalBlocks This is just a readability thing. Java initializes integer fields to 0 by default.