DecimalFormat formatter = new DecimalFormat("##0.0");
switch(sType) {
case MR:
break;
default:
SynchronizedSimpleDateFormat dateFormat = new SynchronizedSimpleDateFormat("HH:mm:ss");
// Time:gc
index++; // jp.12
long timeGC = 0;
try {
timeGC = process.getGarbageCollectionStats().getCollectionTime();
}
catch(Exception e) {
}
dateFormat.setTimeZone(TimeZone.getTimeZone("UTC"));
String displayGC = dateFormat.format(new Date(timeGC));
displayGC = chomp("00:", displayGC);
cbList[index].append("<td align=\"right\">");
cbList[index].append(displayGC);
cbList[index].append("</td>");
// PgIn