- fixed a ArrayIndexOutOfBounds error in Prefs.java;