/**
* Get HTML text displaying the active status of the stage.
*
* @param childUniqueStatus the status of the stage of which this class is the parent.
* @return HTML text displaying the active status of the stage.
*/
public synchronized String getStatusHTML(String childUniqueStatus) {
String stageUniqueStatus =
"<tr><td width=\"20%\">Database size:</td><td>" + index.size() + "</td></tr>";
return super.getStatusHTML(childUniqueStatus + stageUniqueStatus);
}
