int regionCount = 0;
for (int i = 0; i < structuredDocumentRegions.length; i++) {
regionCount += structuredDocumentRegions[i].getNumberOfRegions();
}
NumberFormat formatter = NumberFormat.getIntegerInstance();
final String regioncount = "Count: " + formatter.format(structuredDocumentRegions.length) + " document regions containing " + formatter.format(regionCount) + " text regions representing " + formatter.format(length) + " characters";//$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ //$NON-NLS-4$
display.asyncExec(new Runnable() {
public void run() {
if (!counts.isDisposed()) {
counts.setText(regioncount);
counts.setEnabled(true);