IDE.StrippedPrefs
data Prefs
data RetrieveStrategy
readStrippedPrefs
writeStrippedPrefs
getSourceDirectories
getUnpackDirectory