Vector extensions = Server.getServer().getExtensions();
for (int i = 0; i < extensions.size(); i++) {
HelmaExtension ext = (HelmaExtension) extensions.get(i);
ext.applicationStopped(this);
}
}
// store the sessions if wanted
if ("true".equalsIgnoreCase(getProperty("persistentSessions"))) {