if (TRACE) {
//long end = System.currentTimeMillis();
//System.out.println("Session.GC " + (intermediate - begin) + "ms, System.GC " + (end-intermediate) + "ms, total " + (end - begin) + "ms");
if (TRACE) {
//long end = System.currentTimeMillis();
//System.out.println("Session.GC " + (intermediate - begin) + "ms, System.GC " + (end-intermediate) + "ms, total " + (end - begin) + "ms");