private static void appendExtensions(PrintWriter writer) {
IConfigurationElement[] configElements = getSortedExtensions(Platform
.getExtensionRegistry().getConfigurationElementsFor(
PlatformUI.PLUGIN_ID,
IWorkbenchRegistryConstants.PL_SYSTEM_SUMMARY_SECTIONS));
<BUG>for (int i = 0; i < configElements.length; ++i) {
IConfigurationElement element = configElements[i];
</BUG>
Object obj = null;
try {

private static void appendExtensions(PrintWriter writer) {
IConfigurationElement[] configElements = getSortedExtensions(Platform
.getExtensionRegistry().getConfigurationElementsFor(
PlatformUI.PLUGIN_ID,
IWorkbenchRegistryConstants.PL_SYSTEM_SUMMARY_SECTIONS));
for (IConfigurationElement element : configElements) {
Object obj = null;
try {
