private void init() { initDataDirectory(); options.load(optionsFilename); projects.load(projectsFilename); reload(); }
