String terminalName = terminalPrefix + "w" + w_id + "d"
+ lowerDistrictId + "-" + upperDistrictId;
TPCCWorker terminal = new TPCCWorker(terminalName, w_id,
lowerDistrictId, upperDistrictId, this,
new SimpleSystemPrinter(null), new SimpleSystemPrinter(
System.err), numWarehouses);
terminals[lowerTerminalId + terminalId] = terminal;
terminalNames[lowerTerminalId + terminalId] = terminalName;
}