}
/** The supported locales. */
- private static final Locale[] SUPPORTED_LOCALES = new Locale[] { Locale.ENGLISH, Locale.GERMAN, Locale.FRENCH, new Locale("pl") };
+ private static final Locale[] SUPPORTED_LOCALES = new Locale[] {
+ Locale.ENGLISH,
+ Locale.GERMAN,
+ Locale.FRENCH,
+ new Locale("pl")
+ };
/** The actions that switch the language. */
private Map<Locale, Action> languageActions = new HashMap<Locale, Action>();
updateChecker.start();
webOfTrustInterface = new WebOfTrustInterface(freenetInterface);
- webOfTrustInterface.start();
initPages();
showPage(PageType.PAGE_PROJECTS);
*/
private void quit() {
updateChecker.stop();
- webOfTrustInterface.stop();
System.exit(0);
}