Preferences storing: filenames are now in Constants.java