/* Initialize logdir from preferences */
String logdir_string = backend.getString(logdirPreference, null);
if (logdir_string != null)
logdir = new File(logdir_string);
else {
/* Initialize logdir from preferences */
String logdir_string = backend.getString(logdirPreference, null);
if (logdir_string != null)
logdir = new File(logdir_string);
else {