378379380381382383384385386
private Preferences getPreferences() throws IOException { if ( arguments.preferencesPath != null ) { return new FileBasedPreferences(new File(arguments.preferencesPath)); } return Preferences.userRoot(); }