2 * jSite - a tool for uploading websites into Freenet
3 * Copyright (C) 2006-2009 David Roden
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; either version 2 of the License, or
8 * (at your option) any later version.
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not, write to the Free Software
17 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20 package de.todesbaum.jsite.main;
22 import java.awt.event.ActionEvent;
23 import java.awt.event.ActionListener;
24 import java.io.IOException;
25 import java.text.MessageFormat;
26 import java.util.Date;
27 import java.util.HashMap;
28 import java.util.Locale;
30 import java.util.logging.ConsoleHandler;
31 import java.util.logging.Handler;
32 import java.util.logging.Level;
33 import java.util.logging.Logger;
35 import javax.swing.AbstractAction;
36 import javax.swing.Action;
37 import javax.swing.ButtonGroup;
38 import javax.swing.Icon;
39 import javax.swing.JList;
40 import javax.swing.JMenu;
41 import javax.swing.JMenuBar;
42 import javax.swing.JOptionPane;
43 import javax.swing.JPanel;
44 import javax.swing.JRadioButtonMenuItem;
45 import javax.swing.event.ListSelectionEvent;
46 import javax.swing.event.ListSelectionListener;
48 import de.todesbaum.jsite.application.Freenet7Interface;
49 import de.todesbaum.jsite.application.Node;
50 import de.todesbaum.jsite.application.Project;
51 import de.todesbaum.jsite.application.ProjectInserter;
52 import de.todesbaum.jsite.application.UpdateChecker;
53 import de.todesbaum.jsite.application.UpdateListener;
54 import de.todesbaum.jsite.application.ProjectInserter.CheckReport;
55 import de.todesbaum.jsite.application.ProjectInserter.Issue;
56 import de.todesbaum.jsite.gui.NodeManagerListener;
57 import de.todesbaum.jsite.gui.NodeManagerPage;
58 import de.todesbaum.jsite.gui.PreferencesPage;
59 import de.todesbaum.jsite.gui.ProjectFilesPage;
60 import de.todesbaum.jsite.gui.ProjectInsertPage;
61 import de.todesbaum.jsite.gui.ProjectPage;
62 import de.todesbaum.jsite.i18n.I18n;
63 import de.todesbaum.jsite.i18n.I18nContainer;
64 import de.todesbaum.util.image.IconLoader;
65 import de.todesbaum.util.swing.TWizard;
66 import de.todesbaum.util.swing.TWizardPage;
67 import de.todesbaum.util.swing.WizardListener;
70 * The main class that ties together everything.
72 * @author David ‘Bombe’ Roden <bombe@freenetproject.org>
74 public class Main implements ActionListener, ListSelectionListener, WizardListener, NodeManagerListener, UpdateListener {
77 private static final Logger logger = Logger.getLogger(Main.class.getName());
80 private static final Version VERSION = new Version(0, 9, 2);
82 /** The configuration. */
83 private Configuration configuration;
85 /** The freenet interface. */
86 private Freenet7Interface freenetInterface = new Freenet7Interface();
88 /** The update checker. */
89 private final UpdateChecker updateChecker;
91 /** The jSite icon. */
92 private Icon jSiteIcon;
95 * Enumeration for all possible pages.
97 * @author David ‘Bombe’ Roden <bombe@freenetproject.org>
99 private static enum PageType {
101 /** The node manager page. */
104 /** The project page. */
107 /** The project files page. */
110 /** The project insert page. */
113 /** The preferences page. */
118 /** The supported locales. */
119 private static final Locale[] SUPPORTED_LOCALES = new Locale[] { Locale.ENGLISH, Locale.GERMAN, Locale.FRENCH };
121 /** The actions that switch the language. */
122 private Map<Locale, Action> languageActions = new HashMap<Locale, Action>();
124 /** The “manage nodes” action. */
125 private Action manageNodeAction;
127 /** The “preferences” action. */
128 private Action optionsPreferencesAction;
130 /** The “check for updates” action. */
131 private Action checkForUpdatesAction;
133 /** The “about jSite” action. */
134 private Action aboutAction;
137 private TWizard wizard;
139 /** The node menu. */
140 private JMenu nodeMenu;
142 /** The currently selected node. */
143 private Node selectedNode;
145 /** Mapping from page type to page. */
146 private final Map<PageType, TWizardPage> pages = new HashMap<PageType, TWizardPage>();
149 * Creates a new core with the default configuration file.
156 * Creates a new core with the given configuration from the given file.
158 * @param configFilename
159 * The name of the configuration file
161 private Main(String configFilename) {
162 if (configFilename != null) {
163 configuration = new Configuration(configFilename);
165 configuration = new Configuration();
167 Locale.setDefault(configuration.getLocale());
168 I18n.setLocale(configuration.getLocale());
169 if (!configuration.createLockFile()) {
170 int option = JOptionPane.showOptionDialog(null, I18n.getMessage("jsite.main.already-running"), "", JOptionPane.YES_NO_OPTION, JOptionPane.QUESTION_MESSAGE, null, new Object[] { I18n.getMessage("jsite.main.already-running.override"), I18n.getMessage("jsite.wizard.quit") }, I18n.getMessage("jsite.wizard.quit"));
172 throw new IllegalStateException("Lockfile override not active, refusing start.");
174 configuration.removeLockfileOnExit();
176 wizard = new TWizard();
178 wizard.setJMenuBar(createMenuBar());
179 wizard.setQuitName(I18n.getMessage("jsite.wizard.quit"));
180 wizard.setPreviousEnabled(false);
181 wizard.setNextEnabled(true);
182 wizard.addWizardListener(this);
183 jSiteIcon = IconLoader.loadIcon("/jsite-icon.png");
184 wizard.setIcon(jSiteIcon);
186 updateChecker = new UpdateChecker(freenetInterface);
187 updateChecker.addUpdateListener(this);
188 updateChecker.start();
191 showPage(PageType.PAGE_PROJECTS);
195 * Creates all actions.
197 private void createActions() {
198 for (final Locale locale : SUPPORTED_LOCALES) {
199 languageActions.put(locale, new AbstractAction(I18n.getMessage("jsite.menu.language." + locale.getLanguage()), IconLoader.loadIcon("/flag-" + locale.getLanguage() + ".png")) {
201 @SuppressWarnings("synthetic-access")
202 public void actionPerformed(ActionEvent actionEvent) {
203 switchLanguage(locale);
207 manageNodeAction = new AbstractAction(I18n.getMessage("jsite.menu.nodes.manage-nodes")) {
209 @SuppressWarnings("synthetic-access")
210 public void actionPerformed(ActionEvent actionEvent) {
211 showPage(PageType.PAGE_NODE_MANAGER);
212 optionsPreferencesAction.setEnabled(true);
213 wizard.setPreviousName(I18n.getMessage("jsite.wizard.previous"));
214 wizard.setNextName(I18n.getMessage("jsite.wizard.next"));
217 optionsPreferencesAction = new AbstractAction(I18n.getMessage("jsite.menu.options.preferences")) {
222 @SuppressWarnings("synthetic-access")
223 public void actionPerformed(ActionEvent actionEvent) {
224 optionsPreferences();
227 checkForUpdatesAction = new AbstractAction(I18n.getMessage("jsite.menu.help.check-for-updates")) {
232 @SuppressWarnings("synthetic-access")
233 public void actionPerformed(ActionEvent actionEvent) {
237 aboutAction = new AbstractAction(I18n.getMessage("jsite.menu.help.about")) {
239 @SuppressWarnings("synthetic-access")
240 public void actionPerformed(ActionEvent e) {
241 JOptionPane.showMessageDialog(wizard, MessageFormat.format(I18n.getMessage("jsite.about.message"), getVersion().toString()), null, JOptionPane.INFORMATION_MESSAGE, jSiteIcon);
245 I18nContainer.getInstance().registerRunnable(new Runnable() {
247 @SuppressWarnings("synthetic-access")
249 manageNodeAction.putValue(Action.NAME, I18n.getMessage("jsite.menu.nodes.manage-nodes"));
250 optionsPreferencesAction.putValue(Action.NAME, I18n.getMessage("jsite.menu.options.preferences"));
251 checkForUpdatesAction.putValue(Action.NAME, I18n.getMessage("jsite.menu.help.check-for-updates"));
252 aboutAction.putValue(Action.NAME, I18n.getMessage("jsite.menu.help.about"));
258 * Creates the menu bar.
260 * @return The menu bar
262 private JMenuBar createMenuBar() {
263 JMenuBar menuBar = new JMenuBar();
264 final JMenu languageMenu = new JMenu(I18n.getMessage("jsite.menu.languages"));
265 menuBar.add(languageMenu);
266 ButtonGroup languageButtonGroup = new ButtonGroup();
267 for (Locale locale : SUPPORTED_LOCALES) {
268 Action languageAction = languageActions.get(locale);
269 JRadioButtonMenuItem menuItem = new JRadioButtonMenuItem(languageActions.get(locale));
270 if (locale.equals(Locale.getDefault())) {
271 menuItem.setSelected(true);
273 languageAction.putValue("menuItem", menuItem);
274 languageButtonGroup.add(menuItem);
275 languageMenu.add(menuItem);
277 nodeMenu = new JMenu(I18n.getMessage("jsite.menu.nodes"));
278 menuBar.add(nodeMenu);
279 selectedNode = configuration.getSelectedNode();
280 nodesUpdated(configuration.getNodes());
282 final JMenu optionsMenu = new JMenu(I18n.getMessage("jsite.menu.options"));
283 menuBar.add(optionsMenu);
284 optionsMenu.add(optionsPreferencesAction);
286 /* evil hack to right-align the help menu */
287 JPanel panel = new JPanel();
288 panel.setOpaque(false);
291 final JMenu helpMenu = new JMenu(I18n.getMessage("jsite.menu.help"));
292 menuBar.add(helpMenu);
293 helpMenu.add(checkForUpdatesAction);
294 helpMenu.add(aboutAction);
296 I18nContainer.getInstance().registerRunnable(new Runnable() {
298 @SuppressWarnings("synthetic-access")
300 languageMenu.setText(I18n.getMessage("jsite.menu.languages"));
301 nodeMenu.setText(I18n.getMessage("jsite.menu.nodes"));
302 optionsMenu.setText(I18n.getMessage("jsite.menu.options"));
303 helpMenu.setText(I18n.getMessage("jsite.menu.help"));
304 for (Map.Entry<Locale, Action> languageActionEntry : languageActions.entrySet()) {
305 languageActionEntry.getValue().putValue(Action.NAME, I18n.getMessage("jsite.menu.language." + languageActionEntry.getKey().getLanguage()));
314 * Initializes all pages.
316 private void initPages() {
317 NodeManagerPage nodeManagerPage = new NodeManagerPage(wizard);
318 nodeManagerPage.setName("page.node-manager");
319 nodeManagerPage.addNodeManagerListener(this);
320 nodeManagerPage.setNodes(configuration.getNodes());
321 pages.put(PageType.PAGE_NODE_MANAGER, nodeManagerPage);
323 ProjectPage projectPage = new ProjectPage(wizard);
324 projectPage.setName("page.project");
325 projectPage.setProjects(configuration.getProjects());
326 projectPage.setFreenetInterface(freenetInterface);
327 projectPage.addListSelectionListener(this);
328 pages.put(PageType.PAGE_PROJECTS, projectPage);
330 ProjectFilesPage projectFilesPage = new ProjectFilesPage(wizard);
331 projectFilesPage.setName("page.project.files");
332 pages.put(PageType.PAGE_PROJECT_FILES, projectFilesPage);
334 ProjectInsertPage projectInsertPage = new ProjectInsertPage(wizard);
335 projectInsertPage.setName("page.project.insert");
336 projectInsertPage.setFreenetInterface(freenetInterface);
337 pages.put(PageType.PAGE_INSERT_PROJECT, projectInsertPage);
339 PreferencesPage preferencesPage = new PreferencesPage(wizard);
340 preferencesPage.setName("page.preferences");
341 preferencesPage.setTempDirectory(configuration.getTempDirectory());
342 pages.put(PageType.PAGE_PREFERENCES, preferencesPage);
346 * Shows the page with the given type.
349 * The page type to show
351 private void showPage(PageType pageType) {
352 wizard.setPreviousEnabled(pageType.ordinal() > 0);
353 wizard.setNextEnabled(pageType.ordinal() < (pages.size() - 1));
354 wizard.setPage(pages.get(pageType));
355 wizard.setTitle(pages.get(pageType).getHeading() + " - jSite");
359 * Saves the configuration.
361 * @return <code>true</code> if the configuration could be saved,
362 * <code>false</code> otherwise
364 private boolean saveConfiguration() {
365 NodeManagerPage nodeManagerPage = (NodeManagerPage) pages.get(PageType.PAGE_NODE_MANAGER);
366 configuration.setNodes(nodeManagerPage.getNodes());
367 if (selectedNode != null) {
368 configuration.setSelectedNode(selectedNode);
371 ProjectPage projectPage = (ProjectPage) pages.get(PageType.PAGE_PROJECTS);
372 configuration.setProjects(projectPage.getProjects());
374 PreferencesPage preferencesPage = (PreferencesPage) pages.get(PageType.PAGE_PREFERENCES);
375 configuration.setTempDirectory(preferencesPage.getTempDirectory());
377 return configuration.save();
381 * Finds a supported locale for the given locale.
384 * The locale to find a supported locale for
385 * @return The supported locale that was found, or the default locale if no
386 * supported locale could be found
388 private Locale findSupportedLocale(Locale forLocale) {
389 for (Locale locale : SUPPORTED_LOCALES) {
390 if (locale.equals(forLocale)) {
394 for (Locale locale : SUPPORTED_LOCALES) {
395 if (locale.getCountry().equals(forLocale.getCountry()) && locale.getLanguage().equals(forLocale.getLanguage())) {
399 for (Locale locale : SUPPORTED_LOCALES) {
400 if (locale.getLanguage().equals(forLocale.getLanguage())) {
404 return SUPPORTED_LOCALES[0];
408 * Returns the version.
410 * @return The version
412 public static final Version getVersion() {
421 * Switches the language of the interface to the given locale.
424 * The locale to switch to
426 private void switchLanguage(Locale locale) {
427 Locale supportedLocale = findSupportedLocale(locale);
428 Action languageAction = languageActions.get(supportedLocale);
429 JRadioButtonMenuItem menuItem = (JRadioButtonMenuItem) languageAction.getValue("menuItem");
430 menuItem.setSelected(true);
431 I18n.setLocale(supportedLocale);
432 for (Runnable i18nRunnable : I18nContainer.getInstance()) {
435 } catch (Throwable t) {
436 /* we probably shouldn't swallow this. */
439 wizard.setPage(wizard.getPage());
440 configuration.setLocale(supportedLocale);
444 * Shows a dialog with general preferences.
446 private void optionsPreferences() {
447 showPage(PageType.PAGE_PREFERENCES);
448 optionsPreferencesAction.setEnabled(false);
449 wizard.setNextEnabled(true);
450 wizard.setNextName(I18n.getMessage("jsite.wizard.next"));
454 * Shows a dialog box that shows the last version that was found by the
455 * {@link UpdateChecker}.
457 private void showLatestUpdate() {
458 Version latestVersion = updateChecker.getLatestVersion();
459 int versionDifference = latestVersion.compareTo(VERSION);
460 if (versionDifference > 0) {
461 JOptionPane.showMessageDialog(wizard, MessageFormat.format(I18n.getMessage("jsite.update-checker.latest-version.newer.message"), VERSION, latestVersion), I18n.getMessage("jsite.update-checker.latest-version.title"), JOptionPane.INFORMATION_MESSAGE);
462 } else if (versionDifference < 0) {
463 JOptionPane.showMessageDialog(wizard, MessageFormat.format(I18n.getMessage("jsite.update-checker.latest-version.older.message"), VERSION, latestVersion), I18n.getMessage("jsite.update-checker.latest-version.title"), JOptionPane.INFORMATION_MESSAGE);
465 JOptionPane.showMessageDialog(wizard, MessageFormat.format(I18n.getMessage("jsite.update-checker.latest-version.okay.message"), VERSION, latestVersion), I18n.getMessage("jsite.update-checker.latest-version.title"), JOptionPane.INFORMATION_MESSAGE);
470 // INTERFACE ListSelectionListener
476 public void valueChanged(ListSelectionEvent e) {
477 JList list = (JList) e.getSource();
478 int selectedRow = list.getSelectedIndex();
479 wizard.setNextEnabled(selectedRow > -1);
483 // INTERFACE WizardListener
489 public void wizardNextPressed(TWizard wizard) {
490 String pageName = wizard.getPage().getName();
491 if ("page.node-manager".equals(pageName)) {
492 showPage(PageType.PAGE_PROJECTS);
493 } else if ("page.project".equals(pageName)) {
494 ProjectPage projectPage = (ProjectPage) wizard.getPage();
495 Project project = projectPage.getSelectedProject();
496 if ((project.getLocalPath() == null) || (project.getLocalPath().trim().length() == 0)) {
497 JOptionPane.showMessageDialog(wizard, I18n.getMessage("jsite.warning.no-local-path"), null, JOptionPane.ERROR_MESSAGE);
500 if ((project.getPath() == null) || (project.getPath().trim().length() == 0)) {
501 JOptionPane.showMessageDialog(wizard, I18n.getMessage("jsite.warning.no-path"), null, JOptionPane.ERROR_MESSAGE);
504 ((ProjectFilesPage) pages.get(PageType.PAGE_PROJECT_FILES)).setProject(project);
505 ((ProjectInsertPage) pages.get(PageType.PAGE_INSERT_PROJECT)).setProject(project);
506 showPage(PageType.PAGE_PROJECT_FILES);
507 } else if ("page.project.files".equals(pageName)) {
508 ProjectPage projectPage = (ProjectPage) pages.get(PageType.PAGE_PROJECTS);
509 Project project = projectPage.getSelectedProject();
510 if (selectedNode == null) {
511 JOptionPane.showMessageDialog(wizard, I18n.getMessage("jsite.error.no-node-selected"), null, JOptionPane.ERROR_MESSAGE);
514 CheckReport checkReport = ProjectInserter.validateProject(project);
515 for (Issue issue : checkReport) {
516 if (issue.isFatal()) {
517 JOptionPane.showMessageDialog(wizard, MessageFormat.format(I18n.getMessage("jsite." + issue.getErrorKey()), (Object[]) issue.getParameters()), null, JOptionPane.ERROR_MESSAGE);
520 if (JOptionPane.showConfirmDialog(wizard, MessageFormat.format(I18n.getMessage("jsite." + issue.getErrorKey()), (Object[]) issue.getParameters()), null, JOptionPane.OK_CANCEL_OPTION, JOptionPane.WARNING_MESSAGE) != JOptionPane.OK_OPTION) {
524 boolean nodeRunning = false;
526 nodeRunning = freenetInterface.isNodePresent();
527 } catch (IOException e) {
531 JOptionPane.showMessageDialog(wizard, I18n.getMessage("jsite.error.no-node-running"), null, JOptionPane.ERROR_MESSAGE);
534 configuration.save();
535 showPage(PageType.PAGE_INSERT_PROJECT);
536 ProjectInsertPage projectInsertPage = (ProjectInsertPage) pages.get(PageType.PAGE_INSERT_PROJECT);
537 String tempDirectory = ((PreferencesPage) pages.get(PageType.PAGE_PREFERENCES)).getTempDirectory();
538 projectInsertPage.setTempDirectory(tempDirectory);
539 projectInsertPage.startInsert();
540 nodeMenu.setEnabled(false);
541 optionsPreferencesAction.setEnabled(false);
542 } else if ("page.project.insert".equals(pageName)) {
543 ProjectInsertPage projectInsertPage = (ProjectInsertPage) pages.get(PageType.PAGE_INSERT_PROJECT);
544 if (projectInsertPage.isRunning()) {
545 projectInsertPage.stopInsert();
547 showPage(PageType.PAGE_PROJECTS);
548 nodeMenu.setEnabled(true);
549 optionsPreferencesAction.setEnabled(true);
551 } else if ("page.preferences".equals(pageName)) {
552 showPage(PageType.PAGE_PROJECTS);
553 optionsPreferencesAction.setEnabled(true);
560 public void wizardPreviousPressed(TWizard wizard) {
561 String pageName = wizard.getPage().getName();
562 if ("page.project".equals(pageName) || "page.preferences".equals(pageName)) {
563 showPage(PageType.PAGE_NODE_MANAGER);
564 optionsPreferencesAction.setEnabled(true);
565 } else if ("page.project.files".equals(pageName)) {
566 showPage(PageType.PAGE_PROJECTS);
567 } else if ("page.project.insert".equals(pageName)) {
568 showPage(PageType.PAGE_PROJECT_FILES);
575 public void wizardQuitPressed(TWizard wizard) {
576 if (((ProjectPage) pages.get(PageType.PAGE_PROJECTS)).wasUriCopied() || ((ProjectInsertPage) pages.get(PageType.PAGE_INSERT_PROJECT)).wasUriCopied()) {
577 JOptionPane.showMessageDialog(wizard, I18n.getMessage("jsite.project.warning.use-clipboard-now"));
579 if (JOptionPane.showConfirmDialog(wizard, I18n.getMessage("jsite.quit.question"), null, JOptionPane.OK_CANCEL_OPTION, JOptionPane.QUESTION_MESSAGE) == JOptionPane.OK_OPTION) {
580 if (saveConfiguration()) {
583 if (JOptionPane.showConfirmDialog(wizard, I18n.getMessage("jsite.quit.config-not-saved"), null, JOptionPane.OK_CANCEL_OPTION, JOptionPane.WARNING_MESSAGE) == JOptionPane.OK_OPTION) {
590 // INTERFACE NodeManagerListener
596 public void nodesUpdated(Node[] nodes) {
597 nodeMenu.removeAll();
598 ButtonGroup nodeButtonGroup = new ButtonGroup();
599 Node newSelectedNode = null;
600 for (Node node : nodes) {
601 JRadioButtonMenuItem nodeMenuItem = new JRadioButtonMenuItem(node.getName());
602 nodeMenuItem.putClientProperty("Node", node);
603 nodeMenuItem.addActionListener(this);
604 nodeButtonGroup.add(nodeMenuItem);
605 if (node.equals(selectedNode)) {
606 newSelectedNode = node;
607 nodeMenuItem.setSelected(true);
609 nodeMenu.add(nodeMenuItem);
611 nodeMenu.addSeparator();
612 nodeMenu.add(manageNodeAction);
613 selectedNode = newSelectedNode;
614 freenetInterface.setNode(selectedNode);
620 public void actionPerformed(ActionEvent e) {
621 Object source = e.getSource();
622 if (source instanceof JRadioButtonMenuItem) {
623 JRadioButtonMenuItem menuItem = (JRadioButtonMenuItem) source;
624 Node node = (Node) menuItem.getClientProperty("Node");
626 freenetInterface.setNode(selectedNode);
631 // INTERFACE UpdateListener
637 public void foundUpdateData(Version foundVersion, long versionTimestamp) {
638 logger.log(Level.FINEST, "Found version {0} from {1,date}.", new Object[] { foundVersion, versionTimestamp });
639 if (foundVersion.compareTo(VERSION) > 0) {
640 JOptionPane.showMessageDialog(wizard, MessageFormat.format(I18n.getMessage("jsite.update-checker.found-version.message"), foundVersion.toString(), new Date(versionTimestamp)), I18n.getMessage("jsite.update-checker.found-version.title"), JOptionPane.INFORMATION_MESSAGE);
649 * Main method that is called by the VM.
652 * The command-line arguments
654 public static void main(String[] args) {
655 /* initialize logger. */
656 Logger logger = Logger.getLogger("de.todesbaum");
657 Handler handler = new ConsoleHandler();
658 logger.addHandler(handler);
659 String configFilename = null;
660 boolean nextIsConfigFilename = false;
661 for (String argument : args) {
662 if (nextIsConfigFilename) {
663 configFilename = argument;
664 nextIsConfigFilename = false;
666 if ("--help".equals(argument)) {
669 } else if ("--debug".equals(argument)) {
670 logger.setLevel(Level.ALL);
671 handler.setLevel(Level.ALL);
672 } else if ("--config-file".equals(argument)) {
673 nextIsConfigFilename = true;
676 if (nextIsConfigFilename) {
677 System.out.println("--config-file needs parameter!");
680 new Main(configFilename);
684 * Prints a small syntax help.
686 private static void printHelp() {
687 System.out.println("--help\tshows this cruft");
688 System.out.println("--debug\tenables some debug output");
689 System.out.println("--config-file <file>\tuse specified configuration file");