/JBBmain-atomicsets hacked specjbb trace.launch/1.1.1.1/Mon Jul 13 14:12:03 2009//
/JBBmain-atomicsets hacked specjbb.launch/1.1.1.1/Mon Jul 13 14:12:03 2009//
/JBBmain-atomicsets specjbb trace.launch/-1.1.1.1/Wed Dec  9 21:56:16 2009//
/JBBmain-atomicsets specjbb.launch/-1.1.1.1/Wed Dec  9 21:56:16 2009//
/JBBmain-original specjbb-contest.launch/1.1.1.1/Mon Jul 13 14:12:03 2009//
/JBBmain-original specjbb.launch/1.1.1.1/dummy timestamp//
/JBBmain-unsynchronized-contest.launch/1.1.1.1/Mon Jul 13 14:12:03 2009//
/JBBmain-unsynchronized.launch/1.1.1.1/dummy timestamp//
