69
if( ver.compareTo( new Version( 0, 10, 1 ) ) == 0 )
69
if( ver.compareTo( new Version( 0, 10, 1 ) ) <= 0 )
71
71
migr = new Migrate0_10_1To0_10_2( FreeGuide.pref_root_name );
75
if( ver.compareTo( new Version( 0, 10, 2 ) ) == 0 )
75
if( ver.compareTo( new Version( 0, 10, 2 ) ) <= 0 )
77
77
migr = new Migrate0_10_2To0_10_3( FreeGuide.pref_root_name );
81
if( ver.compareTo( new Version( 0, 10, 3 ) ) == 0 )
81
if( ver.compareTo( new Version( 0, 10, 3 ) ) <= 0 )
83
83
migr = new Migrate0_10_3To0_10_4( FreeGuide.pref_root_name );
87
if( ver.compareTo( new Version( 0, 10, 4 ) ) == 0 )
87
if( ver.compareTo( new Version( 0, 10, 4 ) ) <= 0 )
89
89
migr = new Migrate0_10_4To0_10_5( FreeGuide.pref_root_name );
93
if( ver.compareTo( new Version( 0, 10, 5 ) ) == 0 )
93
if( ver.compareTo( new Version( 0, 10, 5 ) ) <= 0 )
95
95
migr = new Migrate0_10_5To0_10_6( FreeGuide.pref_root_name );
99
if( ver.compareTo( new Version( 0, 10, 6 ) ) <= 0 )
101
migr = new Migrate0_10_6To0_10_7( FreeGuide.pref_root_name );
105
if( ver.compareTo( new Version( 0, 10, 7 ) ) <= 0 )
107
migr = new Migrate0_10_7To0_10_8( FreeGuide.pref_root_name );
111
if( ver.compareTo( new Version( 0, 10, 8 ) ) <= 0 )
113
migr = new Migrate0_10_8To0_10_9( FreeGuide.pref_root_name );
99
117
if( migr != null )
101
119
migr.saveTo( FreeGuide.pref_root_name );
246
264
* @throws BackingStoreException DOCUMENT_ME!
248
public static void loadMap(
266
public static void loadMap(
249
267
final String path, final Preferences node, Map prefs )
250
268
throws BackingStoreException