*/
public void stop() {
logger.log(Level.INFO, "stopping core…");
+ saveConfig();
try {
projectManager.save();
coreListenerSupport.fireSavingProjectsDone(projectManager.getDirectory());
/**
* Saves the configuration.
*/
- @SuppressWarnings("unused")
private void saveConfig() {
logger.log(Level.FINEST, "saveConfig()");
/* TODO */