19501951195219531954195519561957195819591960
for (int i = 0; i < extensions.size(); i++) { HelmaExtension ext = (HelmaExtension) extensions.get(i); try { ext.applicationUpdated(this); } catch (ConfigurationException e) { logEvent("Error updating extension "+ext+": "+e); } } }