Delete ie.ucd.autograder.prefs